由MDA/PIM到Java代码的转换及验证
|
摘要
在基于模型驱动架构(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.
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.
引文
[1]Siqueira FL,Silva PSM.Mapping the WRSPM model to model-driven architecture models[C]//8th International Conference on Information Technology:New Generations.IEEE,2011:750-753.
[2]Zheng J,Li X.Research and application of data modeling and integration based on metadata[C]//7th International Conference on Information Technology in Medicine and Education.IEEE,2015:525-528.
[3]De Medeiros R,Gois MM,Rossi DL,et al.Designing embedded systems with marte:A PIM to PSM converter[C]//7th IEEE International Symposium on Industrial Embedded Systems.IEEE,2012:303-306.
[4]Zuo W,Feng J,Zhang J.Model Transformation from xUML PIMs to AADL PSMs[C]//International Conference on Computing,Control and Industrial Engineering.IEEE,2010:54-57.
[5]Schlieter H,Burwitz M,Sch9nherr O,et al.Towards model driven architecture in health care information system development[C]//Wirtschaftsinformatik,2015:497-511.
[6]WANG Xichao,CAO Yunfeng,DING Meng,et al.Complex system openended top-Level modeling drivened by meta object facility[J].Journal of University of Electronic Science and Technology of China,2012,41(4):482-490(in Chinese).[王西超,曹云峰,丁萌,等.元对象机制驱动的复杂系统开放式顶层建模[J].电子科技大学学报,2012,41(4):482-490.]
[7]GONG Aiai,DING Xiangqian,HOU Ruichun.Research of intelligent code generating framework based on Eclipse[J].Modern Electronics Technique,2013,36(18):55-58(in Chinese).[宫爱爱,丁香乾,侯瑞春.基于Eclipse智能代码生成框架的研究[J].现代电子技术,2013,36(18):55-58.]
[8]Rasiwasia A.Meta modeling for business model design:Designing a Meta model for E3value model based on MOF[J].Teknik Och Teknologier,2013:23-25.
[9]YUAN Kaiyin,GUO Rui,LU Xiangsheng,et al.Correctness verification of RGPS process level meta-model[J].Computer Engineering,2012,38(15):39-42(in Chinese).[袁开银,郭瑞,陆翔升,等.RGPS过程层元模型正确性验证[J].计算机工程,2012,38(15):39-42.]
[10]Mojica IJ,Adams B,Nagappan M,et al.A large-scale empirical study on software reuse in mobile apps[J].Software,IEEE,2014,31(2):78-86.
[2]Zheng J,Li X.Research and application of data modeling and integration based on metadata[C]//7th International Conference on Information Technology in Medicine and Education.IEEE,2015:525-528.
[3]De Medeiros R,Gois MM,Rossi DL,et al.Designing embedded systems with marte:A PIM to PSM converter[C]//7th IEEE International Symposium on Industrial Embedded Systems.IEEE,2012:303-306.
[4]Zuo W,Feng J,Zhang J.Model Transformation from xUML PIMs to AADL PSMs[C]//International Conference on Computing,Control and Industrial Engineering.IEEE,2010:54-57.
[5]Schlieter H,Burwitz M,Sch9nherr O,et al.Towards model driven architecture in health care information system development[C]//Wirtschaftsinformatik,2015:497-511.
[6]WANG Xichao,CAO Yunfeng,DING Meng,et al.Complex system openended top-Level modeling drivened by meta object facility[J].Journal of University of Electronic Science and Technology of China,2012,41(4):482-490(in Chinese).[王西超,曹云峰,丁萌,等.元对象机制驱动的复杂系统开放式顶层建模[J].电子科技大学学报,2012,41(4):482-490.]
[7]GONG Aiai,DING Xiangqian,HOU Ruichun.Research of intelligent code generating framework based on Eclipse[J].Modern Electronics Technique,2013,36(18):55-58(in Chinese).[宫爱爱,丁香乾,侯瑞春.基于Eclipse智能代码生成框架的研究[J].现代电子技术,2013,36(18):55-58.]
[8]Rasiwasia A.Meta modeling for business model design:Designing a Meta model for E3value model based on MOF[J].Teknik Och Teknologier,2013:23-25.
[9]YUAN Kaiyin,GUO Rui,LU Xiangsheng,et al.Correctness verification of RGPS process level meta-model[J].Computer Engineering,2012,38(15):39-42(in Chinese).[袁开银,郭瑞,陆翔升,等.RGPS过程层元模型正确性验证[J].计算机工程,2012,38(15):39-42.]
[10]Mojica IJ,Adams B,Nagappan M,et al.A large-scale empirical study on software reuse in mobile apps[J].Software,IEEE,2014,31(2):78-86.