A Conceptual Framework for Consistency Management in Model-Based Systems Engineering

Developing complex engineering systems requires the consolidation of models from a variety of domains such as economics, mechanics and software engineering. These models are typically created using differing formalisms and by stakeholders that have varying views on the same problem statement. The challenging question is: what is needed to make sure that all of these different models remain consistent during the design process? A review of the related literature reveals that this is still an open challenge and has not yet been investigated at a fundamental level within the context of Model-Based Systems Engineering (MBSE). Therefore, this paper specifically focuses on examining the fundamentals of consistency management. We show that some inconsistencies cannot be detected and come to the conclusion that it is impossible to say whether or not a system is fully consistent. In this paper, we first introduce a mathematical foundation to define consistency in a formal manner. A decision-based approach to design is then studied and applied to the development of a real-world example. The research reveals several distinct types of inconsistencies that can occur during the design and development of a system. We show that these inconsistencies can be further classified into two groups: internal and external consistency. From these insights, the ontology of inconsistencies is constructed. Finally, requirements for possible tool support and methods to identify and manage specific types of consistency issues are proposed.Copyright © 2011 by ASME

[1]  M. Tribus Rational descriptions, decisions, and designs , 1969 .

[2]  Bernhard Schätz,et al.  Consistency in model-based development , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[3]  Tom Mens,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

[4]  Shinobu Yoshimura,et al.  11th International Conference on Engineering Design , 1997 .

[5]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[6]  G. Boothroyd Design for assembly—The key to design for manufacture , 1987 .

[7]  Manfred Broy,et al.  Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.

[8]  Hans Vangheluwe,et al.  Consistency between geometric and dynamic views of a mechanical system , 2007, SCSC.

[9]  Wilhelm Schäfer,et al.  Management of Cross-Domain Model Consistency during the Development of Advanced Mechatronic Systems , 2009 .

[10]  Genichi Taguchi,et al.  Robust Technology Development , 2007 .

[11]  Holger Giese,et al.  Summary of the workshop on multi-paradigm modeling: concepts and tools , 2006, MoDELS'06.

[12]  Tom Mens,et al.  Incremental Detection of Model Inconsistencies Based on Model Operations , 2009, CAiSE.

[13]  Stephanie C. Thompson Rational design theory: a decision-based foundation for studying design methods , 2011 .

[14]  E. Rowland Theory of Games and Economic Behavior , 1946, Nature.

[15]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[16]  Qing Li,et al.  Unified Modeling Language , 2009 .

[17]  Ananya Kanjilal,et al.  UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams , 2010, ICDCIT.

[18]  张友安,et al.  使用MATLAB WITH SIMULINK仿真语言的几点体会 , 1998 .

[19]  Peter C. Fishburn,et al.  Utility theory for decision making , 1970 .

[20]  Tom Mens,et al.  Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution , 1999, AGTIVE.

[21]  Klaus Zeman,et al.  Consistency Checking of Mechatronic Design Models , 2010 .

[22]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[23]  Masaharu Yoshioka Pluggable Metamodel Mechanism : A Framework of an Integrated Design Object Modeling Environment , 1998 .

[24]  Tom Mens,et al.  Maintaining Consistency between UML Models Using Description Logic , 2004, Obj. Logiciel Base données Réseaux.

[25]  Jean-Claude Royer,et al.  Checking the Consistency of UML Class Diagrams Using Larch Prover , 2000, Rigorous Object-Oriented Methods.

[26]  Dexter Kozen,et al.  Automata and Computability , 1997, Undergraduate Texts in Computer Science.

[27]  George A. Hazelrigg,et al.  A Framework for Decision-Based Engineering Design , 1998 .

[28]  M. Broy,et al.  2nd UML 2 semantics symposium: formal semantics for UML , 2006, MoDELS'06.