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

• 作者: 于立兴 陈中育 高毅
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 交互行为 范畴论 形式化语义 时间概念
• 年，卷（期）: 2011,（14）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 65-67
• 分类号: TP311
• 字数: 3028字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.14.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈中育	浙江师范大学数理与信息工程学院	44	211	7.0	13.0
2	高毅	浙江师范大学数理与信息工程学院	2	4	1.0	2.0
3	于立兴	浙江师范大学数理与信息工程学院	2	4	1.0	2.0