协同验证协同验证的定义语义验证检验工作流过程中的控制流，数据流和资源三维元信息协作的正确性，以确定过程定义是否正确实现其业务目标为目的
将规模上的分布合成验证和描述上的语义验证相结合，称为协同验证
由此可知，协同验证包含两个维度：规模上的分布合成验证，是指子模型合并成大模型时要进行的验证；描述上的语义验证，是指各个子模型的正确性验证是语义验证，子模型合成后的验证也是语义验证，协同验证在描述上是基于语义约束进行验证，保证协同目标的实现
子模型：协同工作的各个子模型之间是紧密联系的，子模型可能独立实现某些功能，也可能要与其它子模型协作才能完成特定的功能
合成模型：根据一定的合成规则，基于语义约束将实现不同功能的子模型合成，以满足子模型协同目标的实现
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
