一种状态图到B规格说明的自动转换方法研究实现

作     者：曾一 孙政 周吉 胡小威 ZENG Yi;SUN Zheng;ZHOU Ji;HU Xiaowei

作者机构：重庆大学计算机学院重庆400030 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2011年第47卷第35期

页      码：77-80,142页

摘      要：状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。

主 题 词：形式化方法 元模型 UML状态图 B方法 模型转换 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.2011.35.022

馆 藏 号：203288095...