文本与图形建模语言集成：UML活动图的案例研究

"这篇论文探讨了如何集成文本和图形建模语言，特别是在UML活动图中的应用。作者马克·范登布兰德是来自荷兰埃因霍温理工大学的专家，他在理论计算机科学领域有着深入的研究。文章指出，尽管UML主要依赖于图形表示，但文本表示也有其独特优势。因此，作者通过比较语法软件和模型软件两种方法，实现了文本替代的活动图作为案例研究。这两种方法分别针对符合语法的文本模型和符合元模型的模型进行转换。论文强调了在多语言模型中正确处理引用和转换的挑战，并提到了现有工具在这方面的局限性。" 文章首先介绍了建模形式主义通常关注文本或图形符号，而UML作为主流建模语言，主要依赖图形图表。然而，研究表明，图形和文本语言各有优势，因此有必要研究它们的集成。论文的重点在于解决不同语言之间引用和转换的问题，特别是当模型的某些部分用一种语言编写，而其他部分用另一种语言编写时。 作者通过实现两个版本的文本表面语言，即用于活动图的文本替代，来展示这两种方法。一种方法利用与语法相关的工具和技术，将UML模型中行为片段转化为文本表示。另一种方法则涉及模型和元模型，利用与模型相关的工具和技术进行转换。这两种方法都是为了实现文本和图形语言的有效集成，从而充分利用它们各自的优势。 论文的贡献在于提出了一个实际的案例，展示了如何在实践中结合文本和图形建模，为多语言建模环境下的模型转换提供了新的视角。同时，它也指出了当前工具在处理这种集成时的不足，为未来工具开发和建模方法改进提供了方向。这篇论文对于理解和改进软件建模过程，特别是在复杂系统设计中的模型集成具有重要的理论和实践意义。