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