10.3785/j.issn.1008-973X.2003.02.008
形式化语言MSC消息机制的扩展
为了使消息顺序图(message sequence charts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展.MSC是用于描述系统间消息传递的一种有效的形式化语言,但现在的MSC存在着数据表达能力不强,消息顺序机制不够灵活等问题.因此,在对消息的扩展中,将消息作为一种对象进行研究,增加了消息本身的信息量.在此基础上对消息的顺序机制进行扩展,通过引入一些新的概念、符号,介绍了如何表达消息之间的相互关系和消息的运算等.扩展后的MSC能更加直观、清楚、完整地描述消息的轨迹和系统的静态与动态特性.
消息、消息顺序、形式化语言
37
TP301.2(计算技术、计算机技术)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
167-172