摘要
模型驱动架构(MDA)提供了一种使用模型来指导系统的设计、开发和维护的方法,它特别关注与技术是否相关的概念间的分离,以提高软件的可重用性和可移植性。自从2000年OMG提出MDA(模型驱动构架)之后,许多国内外研究机构及大公司都投身于这方面的研究,并取得一定的成果,各种MDA工具如雨后春笋般地出现,如国内著名的MDA工具trufun,Borland公司的Together Architect 2006等。
本文首先在对比分析了现今市场上各MDA产品/工具的功能特性之后,以其存在的问题为出发点,进而指出MDA的核心问题——模型转换。
接着,从模型的层次结构、分类及成熟度等角度对模型加以阐释;研究了对象建模和目标建模这两种主要建模技术;从定义、层次、结构及方法全面解析模型转换技术。
然后,引入了基于目标建模技术的业务过程类领域的MDA工具——魔力MDA平台,围绕着工作流、操作、主体及客体四个要素对业务过程类元模型展开了细致地分析,并以MOF加以刻画。
最后,以模型转换技术为中心,着重研究了魔力MDA平台PIM到PSM模型转换的转换方法,建立了PSM元模型结构,定义了转换规则的刻画方式,从而给出了魔力平台PIM到PSM模型转换的转换规则;进一步给出了PSM到代码模型的转换规则;并设计与实现了魔力MDA平台的模型转换框架。
目前,魔力MDA平台已完成并投入使用,性能良好。
A new method, which guides the course of software development by models, is provided by Model Driven Architecture (MDA). It improves the reusability and portability of software by separating concept from technology. Since 2000, after OMG proposed MDA (Model Driven Architecture), many domestic and foreign research institutes and large companies have engaged in research in this area, and achieved certain results. A variety of MDA tools sprung up such as the domestically well-known MDA tool trufun, Borland's Together Architect 2006 and so on.
Firstly, in this paper, we analyzed and compared the functional properties of the current MDA products/tools. Put their existent question as a starting point, Further pointed out the core issue of MDA- Model Transformation.
Secondly, we introduce the field of business process oriented MDA tools which based on the objectives modeling technology - the Magic MDA Platform. Around the workflow, operation, the principal part and the object four elements we launched a detailed analysis to the business process oriented meta model, and be portrayed by MOF.
Finally, the model transformation technology as the center, we focus on the transformation method from PIM to PSM of the magic MDA platform, set up a PSM meta model structure, define the description of the transformation rules, in order to give the transformation rules from PIM to PSM of the magic MDA platform. Further give the PSM to code transformation rules; design and implement the magic MDA platform transformation framework.
At present, the magic MDA platform has been completed and put into use, good performance.
引文
[1]Jos Warmer,Anneke Kleppe.Object Constraint Language,The:Getting Your Models Ready for MDA,Second Edition.Chichester,England:Addison Wesley,2003
[2]The Model-Driven Architecture.Guide Version 1.0.1.OMG Doeument:omg/2003-06-01.http://www.omg.org/docs/omg/03-06-01.pdf
[3]张海藩编.软件工程导论(第三版).北京:清华大学出版社,1998:23-45
[4]吴建,郑潮,汪杰著.UML基础与Rose建模案例,北京:机械工业出版社,2004.11:64-170
[5]尹剑飞.MDA环境下元建模的OMCR方法研究.华南理工大学博士学位论文.2005.6:77-78
[6]David S Frankel著.鲍志云译.应用MDA.北京:人民邮电出版社,2003
[7]Anneke Klepejos Warmer,Wim Bast著.鲍志云译.解析MDA.北京:人民邮电出版社,2004.2:363-372
[8]张文燚.面向领域的软件生产研究与实现.北京航空航天大学博士学位论文.2003:6
[9]Mike O'Docherty著.俞志翔译.面向对象分析与设计.北京:清华大学出版社,2006
[10]OMG Unified Modeling Language(OMG UML),Infrastructure,V2.1.2.http://www.omg.org/docs/formal/07-11-04.pdf
[11]G.M.Hydalsvik,G.Sindre.On the purpose object oriented analysis.Proceedings of the Conference on Object Oriented Programming,Systems,Languages and Applications.1993
[12]Object Constraint Language OMG Available Specification Version 2.0,OMG Document:formal/06-05-01.http://www.omg.org/docs/formal/06-05-01.pdf
[13]A.van Lamsweerde,Goal-Oriented Requirements Engineering:A Guided Tour.Invited Paper for RE'01 - 5th IEEE Intemational Symposium on Requirements Engineering.2001:249-263
[14]A.Dardenne,A.van Lamsweerde,S.Fickas.Goal-Directed Requirem- ents Acquisition.Science of Computer Programming.1993:3-50
[15]E.Letier,A.van Lamsweerde.Deriving Operational Software Specifications from System Goals.Proceedings FSE'10-10th ACM S1GSOFT Symp.on the Foundations of Software Engineering.2002.
[16]GRL homepage,http://www.cs.toronto.edu/km/GRL/.
[17]Daniel Amyot.Use Case Maps Quick Tutorial Version 1.0.Online at:http://www.usecasemaps.org/pub/UCMtutorial/UCMtutorial.pdf
[18]Liu,L.,Yu,E.From Requirements to Architectural Design-Using Goals and Scenarios.ICSE-2001 Workshop:From Software Requirements to Architectures(STRAW 2001) May 2001,Toronto,Canada.2001:22-30
[19]Meta Object Facility(MOF) Specification Version 1.4.http://www.omg.org/docs/formal/02-04-03.pdf
[20]王学斌,吴泉源,史殿习.模型驱动架构中的模型转换方法.计算机工程与科学.2006.28(11):133-135
[21]M.A.de Miguel,D.Exertier,S.Salicki.Specication of model transformations based on meta templates.J.Bezivin,R.France(Eds),Workshop in Software Model Engineering.2002
[22]Sheena R.Judson,Robert B.France,Doris L.Carver.Specifying Model Transformations at the Metamodel Level[A].Proc of the Workshop in Software Model Engineering[C].2003
[23]Czarnecki K.,Helsen S.Classification of Model Transformation Approaches.Proceedings of the 18th International Conference,OOPSLA' 03 Workshop on Generative Techniques in the context of Model Driven Architecture,Anaheim,California,USA,October 2003.
[24]D.H.Akehurst,S.Kent.A Relational Approach to Defining Transformations in a Metamodel[A].The Unified Modeling Language 5th International Conf[C].2002
[25]吴春水,唐胜群著.MDA中从PIM到PSM的模型转换.计算机工程与科学.2004.30(3):38-42
[26]Interactive Objects Software GmbH,Project Technology,Inc.MOF2.0Query/Views/Transformations RFP,Revised Submission.OMG Document ad/2003-08-11.http://www.omg.org/cgi-bin/doc?ad/2003-08-11
[27]Jamda.The Java Model Driven Architecture 0.2.http://sourceforge.net/projects/jamda/
[28]罗海滨,范玉顺,吴澄.工作流技术综述[J].软件学报.2000.11(7).899-907
[29]WFMC.Workflow Management Coalition:The Workflow Reference ModeI[EB/OL].TC00-1003,1995.1.http://www.wfmc.org
[30]汤庸,冀高峰,朱君等.协同软件技术及应用[M].北京:机械工业出版社.2007.
[31]IBM Services Architecture Team.http://www.ibm.com/developerworks /web/library/w-ovr/?dwzone=ws.2000
[32]Fundamentals Cay S.Horstmann,Gary Cornell著.叶乃文,邝劲筠等译.JAVA2核心技术卷Ⅰ.北京:机械工业出版社,2006:1-10页
[33]Java Document.http://java.sun.com/j2se/1.5.0/docs/
[34]Yan H.,Kniesel G.,Cremers A.B..A Meta Model for AspectJ[R].Technical Report IAI-TR-2004-3,October 2004,Computer Science Department Ⅲ,University of Bonn,Germany,ISSN0944-8535
[35]周颖,郑国梁,李宣东.基于MDA的UML模型转换:从功能模型到实现模型.计算机应用与软件.2005.22(11):1-4