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.%消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言,对实例和消息等元素本身没有相应的描述结构,使得描述功能扩展有诸多限制.为了增强MSC描述的精确性与灵活性,对其进行语义形式化.在原有消息机制的基础上,采用范畴论的数学方法,给出MSC的语义描述结构,并对其结构进行扩展,增强带时间概念的MSC描述功能.
展开▼
