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

作     者：陈承欢 刘荣胜 高春鸣 CHEN Cheng-huan;LIU Rong-sheng;GAO Chun-ming

作者机构：湖南铁道职业技术学院信息工程系湖南株洲412001 湖南师范大学数学与计算机科学学院湖南长沙410081 

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

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2009年第30卷第4期

页      码：869-872页

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

主 题 词：形式化 类型系统 实时演算 Mobile Ambients 通信协议 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2009.04.066

馆 藏 号：203911172...