摘要： 消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言，对实例和消息等元素本身没有相应的描述结构，使得描述功能扩展有诸多限制。为了增强MSC描述的精确性与灵活性，对其进行语义形式化。在原有消息机制的基础上，采用范畴论的数学方法，给出MSC的语义描述结构，并对其结构进行扩展，增强带时间概念的MSC描述功能。
关键词:
交互行为,
范畴论,
形式化语义,
时间概念
Abstract: Message Sequence Charts(MSC) is a graphic and text language for describing and specifying interactions among system components. Because the factors of instance and message itself lack description structure, extention for description function has much limit. The purpose of formalization is to enhance the accuracy of its description. In this paper, using mathematical methods, a semantic structure of MSC based on message mechanism is given. And the function of describing MSC with time concept is extended, with the result of enhanced capabilities of its description.
Key words:
interaction behavior,
category theory,
formal semantics,
time concept
中图分类号:
于立兴, 陈中育, 高毅. 消息序列图的范畴论语义描述[J]. 计算机工程, 2011, 37(14): 65-67.
XU Li-Xin, CHEN Zhong-Yo, GAO Yi. Category Theory Semantic Description of Message Sequence Charts[J]. Computer Engineering, 2011, 37(14): 65-67.