61、迈向更具扩展性的元CASE工具与增量式方法演进

迈向更具扩展性的元CASE工具与增量式方法演进

1. 元CASE工具相关技术分析

在元建模领域，不同的工具和语言各有特点与局限。
- Metis ：它能解决对象在模型间共享但无法跨越多个M级别的限制，借助全反射元建模功能绕过了这一问题。不过，由于缺乏MML的技术细节，难以评估其局限性。
- ConceptBase ：支持非常灵活的元建模语言Telos，具有无限的M级别和非严格的元建模特性。其显著优势是拥有用于约束、规则和查询的声明性语言，但存在更严格的公理以及图形方面的局限性。
- GME ：是一个成熟的元CASE工具，但和MOF一样，强制使用不相交的元类型，这妨碍了对引用冗余的充分处理，并且仅限于3个M级别。

此外，在元建模框架中也有相关的方法。例如，MMF提出了一种具有与我们类似构造的反射性元建模语言；“clabject”（半类、半对象）的概念被引入以绕过严格的元建模，后来又通过“powertype”的概念进行了扩展。我们支持这些观点，并在此基础上扩展了多重实例化、广义反射性和无限的M级别。

2. 现有语言和工具的局限性与未来工作

尽管我们的语言和工具具有增强的灵活性，但目前仍存在一些局限性：
- 开发阶段 ：虽然基于先前原型的经验，但仍处于相对早期的（重新）开发阶段，目前支持的功能较为基础，如基于MetaL的格式无关事务性存储库、API和基本输入表单。不过，我们相信引导式开发将显著加速其余功能的开发，特别是GRASYLA的重新实现。
-