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

作者：陈承欢; 刘荣胜; 高春鸣

来源：计算机工程与设计, 2009, (04): 869-872.

DOI：10.16208/j.issn1000-7024.2009.04.066

• 形式化
• 类型系统
• 实时演算
• Mobile Ambients
• 通信协议 formalism
• type system
• real-time calculus
• mobile ambients
• communication protocol

在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议,结果表明了该方法的可行性。

• 单位
  湖南师范大学; 湖南铁道职业技术学院