概率可靠多播协议Bimodal Multicast的IOA形式规范

概率可靠多播协议Bimodal Multicast的IOA形式规范

郭敬林;刘西洋;陈平

(西安电子科技大学软件工程研究所，陕西西安 710071)

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2003-04-20 发布日期:2003-04-20

Formal specification of the Bimodal Multicast in IOA

GUO Jin-lin;LIU Xi-yang;CHEN Ping

(Research Inst. of Software Engineering, Xidian Univ., Xi’an China， 710071)

Received:1900-01-01 Revised:1900-01-01 Online:2003-04-20 Published:2003-04-20

摘要/Abstract

摘要： 介绍并讨论了Bimodal Multicast的应用特征和规范形式描述方法，给出了一个基于I/O自动机的描述方案，内容包括Bimodal Multicast中消息的表达，状态和动作的定义，并重点讨论了Bimodal Multicast的最近最先语义的描述方法.

关键词: Bimodal Multicast, I/O自动机, 形式规范, 最近最先

Abstract: The character of the bimodal multicast is introduced with an example. Formal specification of the bimodal multicast is discussed. A formal specification of bimodal multicast based on IOA is presented, mainly including the definition of the action and state space of the bimodal multicast and the description of the message. The description of the random semantic is also discussed, with emphasis on the "most recent first" os the bimodal multicast.

Key words: bimodal multicast, I/O automata, formal specification, most recent first

中图分类号:

TP301.2

郭敬林;刘西洋;陈平. 概率可靠多播协议Bimodal Multicast的IOA形式规范[J]. J4, 2003, 30(2): 220-225.

GUO Jin-lin;LIU Xi-yang;CHEN Ping.

Formal specification of the Bimodal Multicast in IOA

[J]. J4, 2003, 30(2): 220-225.