基于EBMSC的BOM约束元数据描述方法

元数据信息是理解基本对象模型(Basic Object Models)重用能力的关键,也是BOM检索、选取和应用过程的前提和保证。BOM的正确使用以约束关系的满足的基础,由于利用消息序列图(Message Sequence Charts)刻画BOM的交互行为存在着很多不足,因此在基本消息序列图(Basic MSC)的基础上扩展了事件和因果关系的描述,并且通过约束关系的生成,使BOM的交互约束可以以断言的形式作为元数据的组成部分,不仅有利于约束关系的精确描述,而且便于联邦的验证。