期刊文献+

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

Constraint Metadata Description based on EBMSC
下载PDF
导出
摘要 元数据信息是理解基本对象模型(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
  • 相关文献

参考文献9

  • 1Paul Gustavson and the Volunteers of the Base Object Model (BOM) Study Group. BOM Study Group Final Report [R]. Orlando, Florida: Simulation Interoperability Standards Organization (SISO) Conference Committee (CC) and Standards Activity Committee (SAC), 2001.
  • 2Base Object Model Product Development Group. Guide for Base Object Model (BOM) Use and Implementation [EB/OL]. (2006)[2007]. www.sisostds.org.
  • 3O Haugen. Comparing UML 2.0 Interactions and MSC-2000[C]// Proceeding of SDL and MSC Fourth International Workgroup. Ottawa: Springer LNCS, 2004: 69-83.
  • 4ITU-T. Message Sequence Charts, ITU-T Recommendation Z. 120 [R]. Geneva: International Telecommunications Union, 1999.
  • 5张琦,尹全军,黄柯棣.基本对象模型概念研究[J].系统仿真学报,2005,17(7):1667-1669. 被引量:14
  • 6E Brinksma, R Langerak, J P Katoen. Causal Ambiguity and Partial Orders in Event Structures[J]. Lecture Notes in Computer Science (S0302-9743), 1997, 1243(1): 317-332.
  • 7S Mauw, M A Reniers. An algebraic semantics of Basic Message Sequence Charts [J]. The Computer Journal (S0010-4620), 1994, 37(4): 269-277.
  • 8C Fidge. Logical Time in Distributed Computing Systems [J]. IEEE Computer (S0018-9162), 1991, 24(8): 28-33.
  • 9Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung Sun Lee. Testing of concurrent programs based on message sequence charts [C]// Proceeding of International Symposium on Sottware Engineering for Parallel and Distributed Systems. Los Alamitos Calif: IEEE Computer Society, 1999: 72-82.

二级参考文献5

  • 1Paul L.Gustavson,John P.Hancock,The Base Object Model (BOM) Primer :A Distiller Look at a Component Reuse Methodology for Simulation Interoperability [EB/OL],00s-SIW-86,http://www.sisostds.org/SIW/00spring/SIW_TE.htm,2002.
  • 2John P.Hancock,Judy Ann Schandua,BOM Methodology Strawman (BMS) Specification,Version0.7[EB/OL],http://www.sisostds.org/stdsdev/bom,2001.
  • 3Steven W.Reichenthal,The Simulation Reference Markup Language (SRML):A Foundation for Representing BOMs and Supporting Reuse[EB/OL],02f-SIW-038,http://www.sisostds.org/SIW/02fall/SIW_TE.htm,2003.
  • 4John P.Hancock,Judy Ann Schandua,Structural Description of Base Object Models (BOMs)[EB/OL],99s-SIW-185,http://www.sisostds.org/SIW/99spring/SIW_TE.htm, 2000.
  • 5Steven W.Reichenthal,Paul L.Gustavson,Julio de la Cruz,Case Study:Prototyping a Mega-BOM with SRML for Next-Generation Combat Support[EB/OL],03s-SIW-143,http://www.sisostds.org/SIW/03spring/SIW_TE.htm,2004.

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部