菲利普·迈耶 MDD4SOA。面向服务架构的模型驱动开发。 （英语） Zbl 1230.68025号 慕尼黑：慕尼黑大学，Fakultät für Mathematik，Informatik und Statistik（Diss.）。ix，第333页。(2010). 摘要：本文提出了一种基于工具的方法论集成，用于模型驱动开发（MDD）和面向服务计算（SOC）。模型驱动开发是通过在创建源代码之前使用模型设计和分析系统来创建软件的过程，而面向服务的计算基于面向服务的体系结构（SOA），通过使用服务的概念来构建软件系统，其是提供特定封装功能的自我描述的联网软件制品。这方面有四个主要成果。首先，我们提供了一种基于UML的、特定于域的建模语言，专门用于建模服务行为和服务协议。其次，基于转换系统给出了这些模型的严格语义，并提供了一种验证方法。第三，我们引入了模型转换，用于从Web Service标准平台的SOA软件系统的UML模型以及传统的面向对象语言生成代码。第四，我们为生成的代码提供了一个测试环境，并用模拟和跟踪方法将代码生成和形式语义区域联系起来。面向服务架构的模型驱动开发（MDD4SOA）由许多单独的步骤组成，并在自动化时显示出其全部潜力。因此，本文的每一项贡献都得到了充分的工具支持，提供了建模辅助、自动化分析和可执行源代码的生成。此外，还提供了一个通用的开发环境，在该环境中，可以根据手头的开发任务的要求，在工作流程中集成和组合MDD4SOA相关工具。总之，本文提供的方法和工具构成了面向服务软件的基于UML、分析支持、模型驱动的开发方法的蓝图。 MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68N99型 软件理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：Uppaal公司;LTSA-WS公司;ANTLR公司;MSTA公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Mayer}，MDD4SOA。面向服务架构的模型驱动开发。慕尼黑：慕尼黑大学，Fakultät für Mathematik，Informatik und Statistik（Diss.）（2010；Zbl 1230.68025） 全文： 链接