孙政
- 作品数：2 被引量：11H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 支持MDA的设计模式建模与模型转换方法研究被引量：10
- 2012年
- 设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。
- 曾一周吉孙政许林
- 关键词：设计模式模型驱动架构元模型
- 一种状态图到B规格说明的自动转换方法研究实现被引量：1
- 2011年
- 状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。
- 曾一孙政周吉胡小威
- 关键词：形式化方法元模型UML状态图B方法
