消息序列图的范畴论语义描述  

Category Theory Semantic Description of Message Sequence Charts

作　　者：于立兴[1] 陈中育[1] 高毅[1] 

机构地区：[1]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《计算机工程》2011年第14期65-67,共3页Computer Engineering

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

关 键 词：交互行为 范畴论 形式化语义 时间概念 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]