摘要
元数据信息是理解基本对象模型(Basic Object Models)重用能力的关键,也是BOM检索、选取和应用过程的前提和保证。BOM的正确使用以约束关系的满足的基础,由于利用消息序列图(Message Sequence Charts)刻画BOM的交互行为存在着很多不足,因此在基本消息序列图(Basic MSC)的基础上扩展了事件和因果关系的描述,并且通过约束关系的生成,使BOM的交互约束可以以断言的形式作为元数据的组成部分,不仅有利于约束关系的精确描述,而且便于联邦的验证。
The Metadata is key to understand reusable capabilities and also the premise and guarantee of search, selection and application of Basic object Models （BOMs）. Constraint satisfaction is the basis of the proper use of BOMs. Because MSC（Message Sequence Charts） have many shortcomings when they are used to describe interactive behavior of BOMs, the event and causal relationship are expanded based on basic MSC, and through constraints generation, the interactive constraints of BOMs can be claimed in the form of assertions as an integral part of metadata. It is not only to describe constraints accurately, but also to facilitate federal validation.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第17期4491-4495,共5页
Journal of System Simulation
基金
国家自然科学基金(60574056)
关键词
基本对象模型
扩展BMSC
事件
时序约束
因果约束
断言
basic object model
extending BMSC
event, temporal constraint
causality constraint
assertion
