[论文解读] ModelTalk: A Framework for Developing Domain Specific Executable Models

Atzmon Hen-Tov, David H. Lorenz+1 more|ArXiv.org|Jun 18, 2009

Advanced Software Engineering Methodologies参考文献 18被引用 8

一句话总结

本文提出 MODELTALK，一种面向特定领域的、可解释的模型驱动开发框架，整合了元建模、依赖注入和可执行模型，实现类似 Java 的快速建模，并支持运行时直接解释执行。该框架将开发周期从数分钟缩短至数秒，使大规模电信软件产品线能够实现声明式、以模型为中心的定制。

ABSTRACT

Developing and maintaining complex, large-scale, product line of highly customized software systems is difficult and costly. Part of the difficulty is due to the need to communicate business knowledge between domain experts and application programmers. Domain specific model driven development (MDD) addresses this difficulty by providing domain experts and developers with domain specific abstractions for communicating designs. Most MDD implementations take a generative approach. In contrast, we adopt an interpretive approach to domain specific model driven development. We present a framework, named ModelTalk, that integrates MDD, dependency injection and meta-modeling to form an interpretive, domain specific modeling framework. The framework is complemented by tool support that provides developers with the same advanced level of usability for modeling as they are accustomed to in programming environments. ModelTalk is used in a commercial setting for developing a product line of Telco grade business support systems (BSS).

研究动机与目标

• 解决在电信领域开发定制化、大规模软件系统所面临的高昂成本和复杂性问题。
• 克服生成式模型驱动开发的局限，例如漫长的编译-打包-部署周期。
• 为领域专家和开发人员提供一个统一、交互式的建模环境，类似现代 IDE。
• 通过模型的解释执行，实现声明式、可运行时修改的系统行为。
• 减少对手动 Java 编码的依赖，使模型成为系统行为的主要来源。

提出的方法

• 采用解释执行方式，使模型在运行时直接执行，消除代码生成和编译周期。
• 集成依赖注入原则，通过 XML 声明式配置对象图，实现在不重新编译的情况下运行时修改。
• 使用元建模技术定义领域特定的抽象，使开发人员能够为其应用逻辑创建自定义 DSL。
• 提供基于 Eclipse 的工具插件，具备类似 IDE 的用户体验，包括语法高亮、验证和实时反馈。
• 通过将模型视为事实的首要来源，实现模型驱动开发，运行时行为由模型解释直接导出。
• 通过可扩展的元模型和元类能力，在模型层面支持横切关注点。

实验结果

研究问题

• RQ1 如何使模型驱动开发更具响应性和交互性，接近现代编程环境的可用性？
• RQ2 在大规模软件产品线中，使用解释执行而非代码生成，其性能和可扩展性影响如何？
• RQ3 是否能够通过元建模和依赖注入有效创建和维护领域特定的建模语言？
• RQ4 解释式模型驱动框架在复杂、定制化系统中，如何缩短上市时间并降低维护成本？
• RQ5 非程序员在运行时通过模型修改，能在多大程度上修改和适应系统行为？

主要发现

• MODELTALK 中的增量模型修改耗时不超过几秒，而生成式 MDD 方法则需数分钟。
• 模型类的平均继承深度（DIT）为 4.75，表明模型层次结构设计良好且可重用。
• 应用模型的 XML 模式（XSD）达 200K 行代码，反映出元模型的复杂性和表达能力。
• 90% 的应用程序 Java 源代码受模型控制，证明了模型驱动对实现的强控制力。
• 定制化项目中 82% 的源代码行是声明式代码，凸显了该框架对配置而非编码的重视。
• 开发人员报告开发周期显著缩短，并赞赏在重构过程中可继续使用“有缺陷”的模型，从而保持生产力。