基于SOA的MDA中元模型与模型的设计与实现-计算机软件与理论专业论文.docxVIP

Nanjing University of Aeronautics and Astronautics The Graduate School College of Computer Science and Technology Design and Implementation MDA’s Metamodel and Model Based on SOA A Thesis in Computer Science and Technology Engineering By Wang Hongda Advised by Associate Prof. Zhou Liang Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering December, 2011 承诺书 本人郑重声明：所呈交的硕士学位论文是本人在导师指导 下进行的研究工作及取得的研究成果。除了文中特别加以标注 和致谢的地方外，论文中不包含其他人已经发表或撰写过的研 究成果，也不包含为获得南京航空航天大学或其他教育机构的 学位或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （必威体育官网网址的学位论文在解密后适用本承诺书） 作者签名： 日 期： 摘 要 目前，面向服务的架构SOA（Service-Oriented Architecture，SOA）在软件开发架构中已经 占有重要的地位。但是，当前面向服务架构的的开发流程还没有统一的理论基础，而模型驱动 架构MDA（Model-Driven Architecture，MDA）是一种快速有效的软件开发方法。面向服务的 架构可用来解决异构系统之间的相互通讯，而模型驱动架构可以从模型驱动的角度构建SOA， 二者的结合可以较好地解决模型复用及异构系统复用的问题。本文对基于SOA的MDA中元模型 与模型的设计展开研究，给出了一种基于SOA的模型驱动框架，并初步应用于质量管理系统， 论文主要的研究内容包括： （1）给出了一种基于SOA的模型驱动开发架构。该架构结合SOA和MDA，将面向服务架 构与模型驱动开发方法相融合，重点对面向服务的模型驱动开发流程中的CIM建模、PIM建模、 PIM到PSM的转换以及PSM到代码的转换这四方面进行介绍。 （2）提出一种先验证后诊断并采用图分解技术的UML活动模型正确性诊断方法。该方法 从活动模型形式化表示出发，重点对活动模型诊断的流程中模型标识、模型分解、模型验证以 及模型诊断这四方面进行介绍。 （3）提出一种基于有色Petri网的服务组合优化方法。该方法使用有色Petri网的服务网模型， 分别对顺序组合服务、并发组合服务、循环组合服务以及选择组合服务这四种组合服务模型进 行有效地优化。 （4）将基于SOA的模型驱动架构应用到质量管理系统中。首先，使用CIM的用例模型分析 质量管理系统的需求，然后建立PIM中的活动图模型、服务模型和对象模型。然后，使用模型 转换插件将PIM转换为所对应的PSM（关系数据库模型、C#模型、WSDL模型及BPEL模型）以 及代码。最后，完成系统部署。 关键词：MDA，SOA，QVT，元模型，服务建模，模型转换 ABSTRACT Currently, SOA (Service-Oriented Architecture) has been plays an important role in the software development architecture. However, There is no unified theory of software development process in service-oriented architecture, however MDA (Model-Driven Architecture) is a fast and effective approach to software development. SOA can be used to solve the communication between heterogeneous systems, and MDA can be built SOA from the perspective of model-driven , the combination of the two architecture can solved issues of model resue and heterogeneous system reus