解救西西弗斯模型驱动架构

解救西西弗斯模型驱动架构 解救西西弗斯模型架构，驱驱驱驱驱MDA,Model Driven Architecture,浅述 袁峰 2007年7月10日 前言 西西弗斯是古希腊神中的科林斯国王,他被将一巨石推到山上,但驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱无西西弗斯如何努力,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱次石到达山之前都不可避免地下每来,周而始,永无休止。驱驱驱驱驱驱驱驱 在《用驱驱MDA》一中,作者驱驱驱驱驱Frankel将IT人比作代版的西西弗斯,面驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱日新月异出不的技平台,不可避免地不断重一些工作。理想的MDAer,阻驱驱驱止一悲的生。今天,我通分析驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA的概念,了解其内涵,看看MDA是否有希望完成个巨的任。驱驱驱驱驱驱驱驱 定驱 MDA是由OMG，Object Management Group,国象管理集,驱驱驱驱驱驱驱驱[1]于2001年提出来的。其核心思想是抽象出与技无、完整描述功能的核驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 心平台无模型，驱驱驱驱PIM,Platform Independent Model,,然后不同技制定驱驱驱驱驱驱驱驱驱驱多个,通些及助工具将驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 PIM 驱驱驱驱驱驱驱驱成与具体技相的平台相模型，驱驱驱驱PSM,Platform Specific Model,,最后将充的驱驱驱驱驱 PSM 驱驱驱成代。通驱PIM和PSM,MDA的目的是分离建模与底平台技,以保建驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱模的成果不受技迁的影响。驱驱驱驱驱驱驱 驱1 MDA驱驱 构示意[1] 驱1驱MDA的构示意。最内是驱驱驱驱驱驱驱驱驱驱MDA的核心技:驱驱MOF，Meta Object Facility,元驱象施,、驱驱驱驱CWM，Common Warehouse Metamodel,公共数据元模型,和驱驱驱驱驱驱驱UML。MDA的主要工作就是要把基于些技建立的驱驱驱驱驱驱驱PIM驱驱驱驱驱驱驱驱驱驱驱驱驱到不同的中件平台上,得到的PSM。中上出的是目前主要的平台:驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱CORBA、XML、JAVA、Web Services和.NET。然,随着技的展,个列表将不断充。最外是驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA提供的公共服驱如事，驱驱Transactions,等,向外散的箭是指驱驱驱驱驱驱驱MDA在不同垂直域的用,如驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱子商、信和制造等。 在OMG的MDA首,驱驱驱1的右是驱驱OMG驱驱驱驱驱驱驱驱出的一段解,段解从2001年放上去N年不,堪称化石驱驱驱驱驱驱:D,次了篇文章,我上去看了看,呵呵,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 措辞有点小化,具体就不多了,翻如下:驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 MDA提供了一个中立于各商的放的方法,以和技化来的挑。基于驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱OMG制定的各准,驱驱驱驱MDA将和用与底平台技分离来。通使用驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱UML以及其他的OMG建模准,来表达用程序或者集成系的驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱功能和行,得到的平台无模型可以通驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA驱驱驱驱驱驱驱驱驱到各平台上的,如Web Services、.NET、CORBA、J2EE等。些平台无模型将用的功能驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱与行同它的技特定的代分离来。随技一起的,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 是支持跨越不同平台的交互性而来的无情的繁循,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA将用的核心从驱驱驱驱驱驱他的魔爪中保出来。，在驱驱驱驱驱驱驱驱驱驱驱驱MDA的工作方式下,,不管用了哪具体的技驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱平台,系的部分和技部分都可以各自演，而互不影响,-驱驱驱驱驱驱驱驱随需求的化而改,如果有需要的,技部分也可以随享驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 受到新的技展来的好。驱驱驱驱驱驱驱驱驱[1] 可以注意到,OMG强驱MDA必基于驱驱驱OMG的各准。而件展多年,驱驱驱驱驱驱驱驱驱驱驱驱驱驱太多的 故事 滥竽充数故事班主任管理故事5分钟二年级语文看图讲故事传统美德小故事50字120个国学经典故事ppt 表明,成功的准多半是其自然生的,如驱驱驱驱驱驱驱驱驱驱驱驱驱驱UML,刻意而的理想主驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱者的准,在商利益和其他各因素的作用下,往往是困重重。 近年来,MDA在工驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱界的展非常迅速,生了很多秀的源和商工具。件巨驱驱驱驱驱驱驱驱驱驱驱微和IBM也都加入了个,但是,其中驱驱驱驱驱驱驱驱驱驱驱驱驱大多数的工具都并没有驱驱驱驱格遵循OMG的准,最驱驱驱驱驱驱驱驱驱驱驱驱典型的就是微的VSTS了,驱驱驱驱驱道它都不是MDA的工具和用了驱驱驱驱, 在我的blog:概念之“驱驱争:什是MDA,”[3]中,我地分驱驱驱驱驱驱驱驱广的MDA和狭驱驱的MDA。驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱某工具或者方法,不是否格遵循了OMG的各准,驱驱驱驱驱驱驱驱驱只要了系和技的分离,我都它是支持驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA的,比如VSTS和Rational Rose[2]。而相反,狭驱MDA驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱不看效果,要看手段,必遵循OMG的MDA的模型驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱和元建模、建模、管理和行的一系列准的,才可以是支持MDA的。然,在驱驱驱驱驱驱驱驱驱定下,VSTS并不是一个MDA工具。 驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱篇文章中,我就个行深入一些的述。当然了,概念之争没有什驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱太大的意,我只是借此机会将MDA的相概念驱驱驱驱驱驱驱驱弄弄清楚。狭驱MDA 狭驱驱的MDA者是驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱格的准主者,他希望用一套基于一致基的一的元模型/模型管理框架将模型管理起来,并驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱用基于个一致基的各准来驱驱驱驱驱驱驱驱驱驱驱模型的建模、元建模、等各操作。 驱驱“驱驱驱”驱驱驱驱驱驱驱驱个法基于一挺拗口的,致基,我个例子,比如在UML之前,有几十驱驱驱不同的面向象建模言,不同的言相同的概念有不同的驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱叫法,例如在UML中的的驱驱驱操作,曾驱“驱”“”“驱”“”驱驱驱驱驱驱驱驱驱驱驱驱任、被叫做函数、服和方法。,假有两建模言aML和bML,基于aML建模得到的系模型和基于驱驱驱驱驱驱bML建模得到的模型,相互之用的不是一驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱言,不能相互理解,很交互。需要一个翻,往往来外的和驱驱驱驱驱驱驱驱驱驱驱驱效率的失。而有了UML驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱个一的建模言之后,些就迎刃而解了。在MDA的架构中,UML只是“unified modeling language”,是用于面向象驱驱驱驱驱驱驱驱驱和域的建模言,而不是驱驱驱驱驱驱驱驱驱驱驱驱驱“universal modeling language”,不是万能的建模言。比如数据、件程管理等不同的域,都各自有自驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱己特定的,比如系人,驱驱驱“驱”“” “”“驱驱”驱驱驱驱驱“”驱“驱驱”驱、接口口的是、方法、,件程建模人角色口、的是活和“驱”“”驱驱驱驱驱驱驱驱驱驱工作品、文档,了表达的清晰方便,OMG驱驱驱驱驱驱驱驱驱驱不同的域定各自的域特定言,驱驱驱驱驱驱例如,UML驱用于OO驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱与,系人用,而件程建模人,驱驱OMG定了驱驱SPEM，Software Process Engineering Metamodel,,其中定了驱驱驱件程建模需要用到的各抽象概念和系构。驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 但是,些不同的域建模言之也有交互的需求,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱例如UML模型中的一个构件,可能于驱驱驱SPEM模型中的一个工作驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱品。了保不同域的模型之的交互,些不同的域建模言也需要一个驱“驱驱驱”驱驱驱驱一致的基。也正是MDA的核心,OMG驱驱驱驱驱驱驱此出的 答案 八年级地理上册填图题岩土工程勘察试题省略号的作用及举例应急救援安全知识车间5s试题及答案 是MOF。 驱2. MDA的模型和准驱驱 如驱2所示,MDA中将模型和元模型分驱驱驱驱驱驱驱四,其中: l M0驱驱驱驱驱驱驱驱驱是例,一是M1驱驱驱驱驱驱驱驱驱驱模型的例化。例如,UML模型的具体的一个程序。 l M1驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱是模型,是建模人通常所面的模型,例如中的UML模型,是分析和,驱驱包括驱驱驱驱驱驱驱驱驱驱驱驱驱人最熟悉不的了。 l M2驱驱驱驱驱驱驱驱驱驱驱驱驱称元模型,其中的是M1驱模型的元模型,如UML和SPEM等。M2驱元模型中提取了不同域的抽象概念和系构,驱驱驱驱驱驱驱驱驱驱驱驱驱驱M1驱的建模提供了建模符号。也即,M2驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱提供不同域的域建模言。 l M3驱驱驱是元元模型,MOF就位于一。驱驱驱驱MOF提供了定驱M2驱元模型所需要的更抽象一驱的建模支持。MOF是M2驱驱驱驱驱驱驱驱驱驱驱所有元模型的元模型,同,它也是自描述的,MOF可以描述MOF元模型自身。注意,在MDA框架中,M3驱只有MOF驱一个模型,它是MDA中最基和核心的准,它驱驱驱驱驱驱驱驱驱驱MDA框架中的所有模型/元模型提供了一的基,驱驱驱驱驱驱驱驱使得基于MOF的一的模型驱驱驱驱驱驱驱驱驱驱驱驱操作成可能。 如上所驱驱,MOF解决了M2驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱不同元模型之的交互性。其中重要的一点是MOF支持自省，introspection,机制,在MOF中,定了驱驱驱驱驱驱操作基于MOF的各模型和元模型驱驱驱驱驱驱驱的一的驱驱驱驱驱驱驱驱反射接口如RefBaseObject, RefObject,RefAssociation, RefPackage[3]。l Reflective::RefBaseObject //驱取所有的MOF驱象 l Reflective::RefObject //驱驱驱驱驱驱取所有象，MOF中classifier的象,驱驱驱 l Reflective::RefAssociation //驱取所有Association驱象 l Reflective::RefPackage //驱取所有Package驱象 通些驱驱驱驱驱驱驱驱接口,遵循MOF的程序可以在不了解一个象驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱接口的情况下使用个象,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱即,可以遍各的象构,找到需要的象驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱并行相操作。例如建、更新、和用M1驱驱驱驱驱驱驱驱象例的操作。在使用中,需要使用程言来些驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱接口。利用准化的好,需要定从MOF到些，驱驱驱MDA之外的,程言之的驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱映射。例如,定Java中驱驱RefObject( ) 接口的驱驱驱驱驱驱驱驱驱驱驱格,可以保一个Java的MOF驱驱驱驱驱驱驱驱驱驱驱可以被其它用一地使用。如2右部分驱驱驱所示,OMG定了从驱驱驱MOF到Java、XML、IDL等的映射。其中最早定的是从驱驱驱驱MOF到IDL的映射。到XML的映射就是XMI，XML Metadata Interchange,准驱驱驱驱,到Java的映射就是JMI，Java Metadata Interface,,正在制定中或即将制定的有到驱驱驱WSDL、.NET的映射。目前,XMI已广泛驱驱驱驱驱驱驱用于各UML建模工具中,用于存驱驱驱驱驱驱驱模型并在不同工具之驱驱驱驱驱驱入出,JMI也广泛驱驱驱驱驱驱用各基于Java的MDA工具中,例如AndroMDA中就用了Sun的JMI驱驱-MDR。 除了驱2中出的驱驱MOF、JMI和XMI之外,MDA中有驱驱驱驱驱驱驱驱驱驱驱两个重要的准需要提一下,那就是QVT和OCL。 l QVT，Query/View/Transformation,:模型准,基于驱驱驱驱驱驱驱驱MOF的元模型/模型之的驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱提供准的描述言, l OCL，Object Constraint Language,:象驱驱驱驱驱驱驱驱驱驱驱束言,用于配合UML和其它M2驱元模型,精确地描述模型。驱驱驱 驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱准化的好毋庸置疑,基于些准,工具厂商可以自化的工具。理想情况下,人驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱只需注于建模,PIM。从PIM如何得到最后面向具体技平台的可行的用程序,都由自化的驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA工具来解决了。怎驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱,是不是很理想化,听上去似乎是UML虚机驱驱驱驱驱驱驱驱驱驱驱一的玩意,似乎是可以解决驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱件危机的了。但事上,是残酷的,首先,将工具从驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱高言抽象次更高一些的建模言,可以起到一定的作用,但是不能解驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱决件的根本性。其次, 就是目前一个理想化的驱驱驱驱驱驱驱驱MDA架构和相准,也是驱驱驱驱驱驱驱驱驱驱驱驱驱千呼万出不来,出来也要驱驱驱驱驱驱驱驱驱反改。例如,MDA中重要的QVT驱准,从2002年驱驱布RFP，Request for Proposal,至今,驱驱驱驱驱驱驱驱驱驱驱驱没有第一版的准出来。 广驱MDA 驱驱驱驱驱驱驱驱驱驱理想框架的性和度,OMG日驱驱驱驱驱驱驱驱驱驱驱驱驱官僚的不耐、以及更重要的商利益和其他各驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱因素合在一起,促使件商踏上了其他的探索之路。不管白猫黑猫,抓到老鼠就是好猫。件者以及各驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱众而言,涉只 要了和底技平台的分离,能保驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱当年辛苦辛苦建模的成果不随着技平台的化而驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱像西西弗斯推石上山那一遍一遍不可避免地重来,它就是MDA，其不驱驱驱叫MDA也没驱:D,。 驱3 基于MDA的程驱驱驱驱 如驱3所示,的需求驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱,分析,,,,交付程,基于MDA的驱驱驱程由模型和模型之的成。最的用程序也可看驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱做模型,它是最平台，如驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱机器,的PSM。在MDA驱驱驱驱驱驱驱驱驱程中,按照序,首先由需求人建模得到驱驱驱驱驱PIM，有些地方将完全不包含技的个模型称驱驱驱驱驱驱驱驱驱驱CIM，Computation Independent Metamodel,驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱算无模型,,我也将它看作一PIM,,在需求分析段都可驱驱驱驱驱PIM驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱行精化,然后在的段,行PIM->PSM模型,最后是从驱驱驱驱驱驱驱PSM到最程序的,的段。驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱支持以上程,需要有些人做一些相的准工作,例如在行域建模,需要有的域元模型,用以作方驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱便的建模言。在行PIM->PSM的,自化工具需要驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱根据来行,而需 要有人来事先提供。些驱驱-元模型和驱驱驱驱-都是可以一次写好,重使用的。驱驱驱驱驱在微驱驱的VSTS中,提供了定域特定言驱驱驱驱驱驱驱DSL，Domain Specific Language,,也就是我上面驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱所的域元模型,的方便的境,并支持从基于DSL的模型到程序代的生驱驱驱成以及双向工程。微驱驱驱驱驱驱驱驱驱驱驱驱是典型的背叛准者,把MDA的思想全接驱驱驱驱驱驱驱受,个名字,然后决然抛弃了MDA的核心准驱驱UML和MOF J。同,驱驱驱驱驱驱驱驱驱驱驱微又是的主者,他从驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱切提高效率出,提供至少在目前段更容易被者所接受的MDA驱驱驱驱驱驱驱驱驱驱驱驱驱支持。我,从个意上,VSTS是广驱驱的MDA工具。 其他很多工具,由于商驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱宣等因素,只要和模型、代生成等挂上的,驱驱驱驱驱驱驱驱驱驱驱往往也声称自己是MDA工具。些都可以理解,也驱驱驱驱驱驱驱驱驱驱驱没有必要驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱真。按照上文我分析的,只要或者部分了 驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱和技的分离,都可以是广的MDA工具,比如基于Velocity面向特定平台如J2EE的代生成工具驱驱驱驱驱XDoclet、Middlegen等。 驱驱束 Brooks在人月神中提到,件的驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱原因在于件的根本困:概念构的性、一致性、可性和不可性,驱驱驱驱驱驱“驱驱”驱驱。不管是因此没有可以底解决的狭的MDA驱驱驱是广的MDA,都只能帮助人驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱降低所面的度,并不能解决根本的。驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱回到文章始提到的,MDA可能以解救西西弗斯,驱驱驱驱驱驱驱驱驱但是,我相信它是向着个方向的努力,如果驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱MDA可以件的西西弗斯驱驱驱驱驱驱驱驱驱驱送个千斤驱驱驱驱驱驱驱驱驱驱驱驱驱驱驱 ,大家喘口气儿,也很不啊J 文章出:驱驱