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

第37 卷 第14 期 计 算 机 工 程 2011 年7 月 Computer Engineering July 2011 Vol.37 No.14 文献标识码文献标识码：：A 文献标识码文献标识码：： 中图分类号中图分类号：：TP311 文章编号文章编号：：1000——3428(2011)14——0065——03 中图分类号中图分类号：： ·软件技术与数据库·软件技术与数据库·· 文章编号文章编号：： —— —— —— ··软件技术与数据库软件技术与数据库·· 消息序列图消息序列图的范畴论语义描述的范畴论语义描述 消息序列图消息序列图的范畴论语义描述的范畴论语义描述 于立兴于立兴，陈，陈中育中育，高，高 毅毅 于立兴于立兴，，陈陈中育中育，，高高 毅毅 (浙江师范大学数理与信息工程学院，浙江 金华 321004) 摘摘 要：要：消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言，对实例和消息等元素本身没有相应的描述结构，使得 摘摘 要要：： 描述功能扩展有诸多限制。为了增强MSC 描述的精确性与灵活性，对其进行语义形式化。在原有消息机制的基础上，采用范畴论的数学 方法，给出MSC 的语义描述结构，并对其结构进行扩展，增强带时间概念的MSC 描述功能。 关键关键词：词：交互行为；范畴论；形式化语义；时间概念 关键关键词词：： Category Theory Semantic Description of Message Sequence Charts YU Li-xing, CHEN Zhong-yu, GAO Yi (College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004, China) 【【Abstract 】】Message Sequence Charts(MSC) is a graphic and text language for describing and specifying interactions