一种UML2的交互的形式化语义

摘要：

UML2 (unified modeling language 2.x)的规范为其交互定义了一种基于事件发生轨迹的语义,弥补了之前版本在语义上的欠缺.但是此语义是用自然语言(英语)描述的,不够精确、不一致,并且很多细节解释得不够清楚和完备.利用集合论以组合定义的方式形式化语义,并且证明了形式化后交互的语义为拟序集,此拟序集的线性化恰好就是规范所定义的轨迹集.此形式化语义可以作为UML2交互规范的很好的补充,不但有助于UML2交互的理解,还为UML2交互的应用和研究奠定了坚实的理论基础.

关键词：交互、形式化语义、组合定义、线性化

所属期刊栏目：6

分类号：TP311(计算技术、计算机技术)

资助基金：The Natural Science Foundation of Guangdong Province of China under Grant No.10351806001000000;the Foundation for Distinguished Young Talents in Higher Education of Guangdong Province,China under Grant No.LYM09121;the Program of Shenzhen-Hongkong Inovation Circle under Grant No.ZYB200907060012A;the Science and Technology Plan of Shenzhen under Grant No.JC201005280434A

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：631-643