10.3969/j.issn.1000-3428.2011.14.020
消息序列图的范畴论语义描述
消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言,对实例和消息等元素本身没有相应的描述结构,使得描述功能扩展有诸多限制.为了增强MSC描述的精确性与灵活性,对其进行语义形式化.在原有消息机制的基础上,采用范畴论的数学方法,给出MSC的语义描述结构,并对其结构进行扩展,增强带时间概念的MSC描述功能.
交互行为、范畴论、形式化语义、时间概念
37
TP311(计算技术、计算机技术)
2011-11-11(万方平台首次上网日期,不代表论文的发表时间)
共3页
65-67