UML 2.0的形式化语义研究OACSTPCD
Formal Semantics of UML 2.0
由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.
张广泉;戎玫;黄正宝
苏州大学,计算机科学与技术学院,江苏,苏州,215006重庆师范大学,数学与计算机学院,重庆,400047暨南大学,深圳旅游学院,广东,深圳,518053
信息技术与安全科学
线性时序逻辑形式化语义UML2.0顺序图状态图XYZ/E
《南京邮电大学学报（自然科学版）》 2007 (3)
39-43,5
江苏省高校自然科学基金(05KJB520119)、中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)和重庆市自然科学基金(CSTC2006BB2259)资助项目
评论