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