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

• 作者: 古思山 李师贤 蔡树彬
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 交互 形式化语义 组合定义 线性化
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 学术研究
• 页码范围: 631-643
• 分类号: TP311
• 字数: 12449字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.07.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李师贤	中山大学信息科学与技术学院	66	914	13.0	29.0
2	古思山	中山大学信息科学与技术学院	6	81	3.0	6.0
3	蔡树彬	深圳大学计算机与软件学院	10	56	5.0	7.0