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

• 作者: 仇佩亮 褚秉华
• 来源期刊: 浙江大学学报(工学版)
• 学科: 工学
• 关键词: 消息 消息顺序 形式化语言
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 167-172
• 页数: 6页
• 分类号: TP301.2
• 字数: 4382字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2003.02.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	仇佩亮	浙江大学信息与电子工程学系	118	1446	17.0	34.0
2	褚秉华	浙江大学信息与电子工程学系	2	15	2.0	2.0