[论文解读] Executable Modeling with UML. A Vision or a Nightmare?

Bernhard Rumpe⋆|arXiv (Cornell University)|Sep 22, 2014

Model-Driven Software Engineering Techniques参考文献 17被引用 14

一句话总结

本文研究UML是否可作为完全可执行的建模语言，以取代传统文本编程，特别是在极限编程（XP）方法论中。文章认为，尽管可执行UML为模型驱动开发提供了愿景，但其在语法、工具支持和可维护性方面的实际挑战，若无标准化和工具支持的重大改进，可能导致其沦为噩梦。

ABSTRACT

Extreme Programming is the most prominent new, light-weight (or agile) methods, defined to contrast the current heavy-weight and partially overloaded object-oriented methods. It focuses on the core issues of software technology. One of its principles is not to rely on diagrams to document a system. In this paper, we examine what properties a modeling language like UML must have in order to support the Extreme Programming approach effectively. In particular, we discuss how such a diagrammatic programming language must look like to replace a textual programming language and what benefits and problems such an approach may bring.

研究动机与目标

• 评估UML是否可作为完全可执行的编程语言，以取代软件开发中的文本代码。
• 分析类似UML的图示化建模语言在支持极限编程原则（如持续编码和最小化文档）方面的可行性。
• 识别建模语言为在敏捷环境中实现可执行性和可维护性所需满足的核心要求。
• 评估从文本编程转向基于图示的可执行建模在工业软件开发中的收益与风险。
• 探讨可执行UML的理论承诺与实际局限性之间的差距。

提出的方法

• 分析极限编程（XP）原则，特别是其反对文档化而推崇工作代码的做法。
• 通过评估其表达能力、语法和工具支持，考察UML作为可执行建模候选方案的可行性。
• 从可维护性、清晰度和开发速度角度，比较图示化建模与文本编程的差异。
• 评估现有UML工具生成和执行代码从模型的能力。
• 识别当前UML在可执行建模方面存在的关键缺陷，如歧义性、缺乏标准化以及工具集成不良。
• 提出可执行UML需增强形式化语义、工具支持和语言约束，方能在敏捷环境中可行。

实验结果

研究问题

• RQ1 UML能否被设计并用作完全可执行的编程语言，以取代软件开发中的文本代码？
• RQ2 基于UML的建模语言必须具备哪些特性，才能有效支持极限编程的核心原则？
• RQ3 在现实世界软件项目中，将图示化模型作为可执行代码使用时面临哪些实际挑战？
• RQ4 与传统文本编程相比，可执行UML在可维护性、清晰度和开发效率方面有何差异？
• RQ5 为使可执行建模成为代码优先开发的可行替代方案，UML标准和工具支持需进行哪些改进？

主要发现

• 可执行UML有潜力统一设计与实现，缩小分析与代码之间的差距。
• 当前UML缺乏足够的形式化和工具支持，难以实现可靠执行，导致歧义和不一致。
• 缺乏标准化的可执行UML子集阻碍了其在极限编程等敏捷环境中的采用。
• 图示化建模可能提升可读性和协作性，但可能变得比文本代码更复杂且更难维护。
• 本文结论认为，尽管可执行UML具有引人注目的愿景，但若无语言精确性和工具支持的重大改进，其实际实现仍面临重大挑战。
• 若建模工具与执行环境之间缺乏更强的集成，可执行UML可能沦为维护噩梦，而非开发资产。