规范集成工具-模式，约束，检查器和示例 目的 SpecIF表示可见的内容，即图表和文本，以及用于模型集成和模型交换的系统规范的语义。 基本假设： 总是会有针对不同目的的专用工具 要求合作者使用某些工具甚至单个工具是不明智的 有兴趣在通用上下文中搜索，导航和审核部分结果 这就是SpecIF发挥作用的地方。 有关详细信息，请参见 。 该分支详细说明了“全副武装”的SpecIF的架构和约束。 它的特点是 SpecIF数据集（容器）可能具有多个修订版本的信息元素。 标识符相同，修订标签也会更改。