由MDA/PIM到Java代码的转换及验证  

Transformation and validation from MDA/PIM to Java code

作　　者：李凯宁 武淑红[1] 王耀力[2] 

机构地区：[1]太原理工大学计算机科学与技术学院,山西太原030024 [2]太原理工大学信息工程学院,山西太原030024

出　　处：《计算机工程与设计》2017年第6期1510-1515,1574,共7页Computer Engineering and Design

基　　金：山西省自然科学基金项目(2013011015-1)

摘　　要：在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。Based on the development and design of the model-driven architecture(MDA),an indirect transformation method from platform independent model(PIM)to code was proposed on the basis of the rules of MDA and the use of MOF modeling system,which not only simplified the multistep transformation problem of PIM to PSM and PSM to code,but also reduced the time and energy in the transformation process.The Eclipse modeling framework(EMF)was used to establish a relation between business process modeling notation(BPMN)and the Java language.Object-oriented modeling was implemented to its middle model XML(PSM).The model detection algorithm was adopted in the model transformation rules to detect some structure problems of the model,such as dead lock and live lock.A BPMN case was used to verify the feasibility and the validity of the transformation method and the model detection algorithm.

关 键 词：模型驱动架构 MOF建模体系 业务流程建模标注 Eclipse建模框架 平台无关模型 可扩展标记语言 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]