形式化语言MSC消息机制的扩展

摘要：

为了使消息顺序图(message sequence charts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展.MSC是用于描述系统间消息传递的一种有效的形式化语言,但现在的MSC存在着数据表达能力不强,消息顺序机制不够灵活等问题.因此,在对消息的扩展中,将消息作为一种对象进行研究,增加了消息本身的信息量.在此基础上对消息的顺序机制进行扩展,通过引入一些新的概念、符号,介绍了如何表达消息之间的相互关系和消息的运算等.扩展后的MSC能更加直观、清楚、完整地描述消息的轨迹和系统的静态与动态特性.

关键词：消息、消息顺序、形式化语言

所属期刊栏目：37

分类号：TP301.2(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：167-172