[论文解读] Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling

Christoph Herrmann, Holger Krahn+3 more|arXiv (Cornell University)|Sep 22, 2014

Model-Driven Software Engineering Techniques参考文献 10被引用 7

一句话总结

本文提出了一种组合建模方法，通过解决MDA在工具支持和方法论方面的局限性，实现了对大规模异构系统的模型驱动开发的可扩展性。该方法引入了一种模块化、分层的设计框架，能够在分布式、复杂系统中有效实现模型的重用、验证与演化，显著提升了工业规模软件工程中的可扩展性与可维护性。

ABSTRACT

Model-based development and in particular MDA [1], [2] have promised to be especially suited for the development of complex, heterogeneous, and large software systems. However, so far MDA has failed to fulfill this promise to a larger extent because of tool support being inadequate and clumsy and methodologies not being appropriate for an effective development. This article discusses what went wrong in current MDA approaches and what needs to be done to make MDA suited for ultra-large, distributed systems.

研究动机与目标

• 解决传统MDA在扩展至大规模异构软件系统时因工具支持不足和方法论不切实际而失败的问题。
• 识别现有MDA方法中的关键缺陷，例如单体式建模和缺乏模块化，这些缺陷阻碍了工业界的采纳。
• 通过引入一种支持模块化和关注点分离的组合建模范式，实现对超大规模分布式系统的有效开发。
• 提供一种实用的方法论和工具框架，支持在复杂系统开发中实现模型的重用、验证与演化。
• 通过增强工具支持和方法论支持，弥合理论MDA原则与工业规模软件工程之间的差距。

提出的方法

• 采用组合建模方法，将大型系统分解为具有明确定义接口的独立可重用组件。
• 运用模型驱动工程（MDE）原则，通过分层、模块化的模型定义系统架构，支持抽象与细化。
• 集成模型转换技术，自动生成功能代码，并在不同抽象层次间保持一致性。
• 对组件应用形式化验证技术，确保正确性，并降低异构系统中集成的风险。
• 利用领域特定建模语言（DSMLs）提高建模的表达能力，降低多样化系统组件的复杂性。
• 建立一种支持模型增量开发、版本控制与跨分布式团队和系统演化的开发方法。

实验结果

研究问题

• RQ1 为何传统MDA方法在工业实践中难以扩展至大规模异构系统？
• RQ2 为使基于模型的开发在超大规模系统中可行，需要在架构和方法论上做出哪些改进？
• RQ3 组合建模如何增强复杂系统开发中的模块化、可重用性和可验证性？
• RQ4 形式化方法和模型转换在实践中对实现可扩展MDA起到何种作用？
• RQ5 如何使工具支持与方法论相匹配，以支持MDA在分布式、异构环境中的工业采纳？

主要发现

• 组合建模方法通过支持模块化、分层的系统设计，成功克服了传统MDA在可扩展性方面的局限。
• 对模型进行模块化分解可提升可维护性，支持独立验证，并降低大规模系统中的复杂性。
• 形式化方法与模型转换技术的集成显著增强了系统组件间的一致性与正确性。
• 该方法论支持在不同系统组件和项目之间有效重用模型，从而减少开发时间和错误。
• 改进的工具支持和方法论支持显著提升了MDA在工业规模软件开发中的可行性。
• 该方法在实际系统中展现出良好的适用性，尤其在对高可靠性与形式化验证有严格要求的领域。