基于Mobile Ambients的网络实时模拟方法  

Simulation approach for real-time network based on mobile ambients

作　　者：陈承欢[1] 刘荣胜[1] 高春鸣[2] 

机构地区：[1]湖南铁道职业技术学院信息工程系,湖南株洲412001 [2]湖南师范大学数学与计算机科学学院,湖南长沙410081

出　　处：《计算机工程与设计》2009年第4期869-872,共4页Computer Engineering and Design

基　　金：湖南省重点科技攻关基金项目(05GK2002);湖南省自然科学基金项目(03JJY6023)

摘　　要：在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议,结果表明了该方法的可行性。In the communication protocols, many properties are relative to time. To study the time properties of the communication protocols. The system must be described in a formal method with time. The mobile ambients is extended with time, then a new formalism --real-time mobile ambients with types is presented. At last, the three-way handshake protocol is expressed with real-time mobile ambients with types. The result proves the method is feasible.

关 键 词：形式化 类型系统 实时演算 MOBILE Ambients 通信协议 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]