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

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