8、深入探索jABC：模型驱动开发的利器

深入探索jABC：模型驱动开发的利器

1. jABC概述

jABC的元模型具有可定制和可扩展的特性，它所衍生出的建模语言兼具内部和外部特定领域语言（DSL）的特点。一方面，可通过添加新的服务独立块（SIB）以及领域专家的定制来体现内部DSL的特征；另一方面，引入全新的建模构造则展现了外部DSL的特性。不过，新的建模构造通常需要对jABC的工具（如插件）进行相应的调整。

jABC元模型的静态语义可通过以下方式进行定制：
- 局部约束 ：附着于每个SIB上，确保其在模型中的正确使用。
- 全局约束 ：针对模型进行特定领域的定义。
- 插件 ：可引入额外的格式规则。

与语言工作台通常从元模型规范生成特定领域环境的方法不同，jABC通过对通用元模型和工具的定制与调整来实现领域特异性，这与UML的概要机制类似。凭借这个可定制和扩展的元模型，jABC定义了一类共享固定核心（即SLG概念）的特定领域语言。

SLG有多种类型，为避免混淆，包含SLG的图表会在角落用小图标标记，以指示所描绘模型的类型，具体如下表所示：
| 图标 | 类型 |
| ---- | ---- |
| CG | 代码生成器 |
| A | 任意应用程序 |
| F | 公式 |
| TC | 测试用例 |
| TS | 测试套件 |
| TD | 测试数据 |

2. jABC插件

插件能够为jABC增添功能，例如扩展jABC工具的菜单或检查器，或者为S