A conceptual framework for consistency management in model-based systems engineering

Proceedings of the ASME Design Engineering Technical Conference

Volumn 2, Issue PARTS A AND B, 2011, Pages 1329-1339

  Herzig, Sebastian J I ^a   Qamar, Ahsan ^b   Reichwein, Axel ^a   Paredis, Christiaan J J ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX ENGINEERING SYSTEM; CONCEPTUAL FRAMEWORKS; CONSISTENCY MANAGEMENT; DESIGN AND DEVELOPMENT; DESIGN PROCESS; MATHEMATICAL FOUNDATIONS; MODEL-BASED SYSTEMS ENGINEERING; MODEL-BASED SYSTEMS ENGINEERING (MBSE); PROBLEM STATEMENT; TOOL SUPPORT;

DESIGN; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

MODELS;

EID: 84863594828     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC2011-47924     Document Type: Conference Paper

References (37)

1. Siemens, "Solid Edge," http://www.solidedge.com/.
2. Modelica Association, "The Modelica Language Specification Version 3.2," 2010. [Online]. Available: http://www.modelica.org/
3. IBM, "Rational DOORS," http://www.ibm.com/-software/awdtools/ doors/.
4. S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide To SysML: The Systems Modeling Language. Morgan Kaufmann Publishers and OMG Press, August 2009.
5. J. A. Estefan, "Survey Of Model-Based Systems Engineering (MBSE) Methodologies," Jet Propulsion Laboratory, California Institute of Technology, Tech. Rep., May 2008.
6. P. Hehenberger, A. Egyed, and K. Zeman, "Consistency Checking Of Mechatronic Design Models," in 2008 IEEE Symposium On Visual Languages and Human-Centric Computing, P. Hehenberger, A. Egyed, and K. Zeman, Eds., ASME. ASME, August 2010.
7. C. Adourian and H. Vangheluwe, "Consistency Between Geometric And Dynamic Views Of A Mechanical System," in Proceedings of the 2007 summer computer simulation conference, San Diego, CA, USA, June 2007.
8. X. Blanc, A. Mougenot, I. Mounier, and T. Mens, "Incremental Detection Of Model Inconsistencies Based On Model Operations," in CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering, Amsterdam, The Netherlands, June 2009.
9. M. Yoshioka and T. Tomiyama, "Pluggable Metamodel Mechanism: A Framework Of An Integrated Design Object Modeling Environment," in Proceedings of the 1997 Lancaster International Workshop on Engineering Design CACD'97, A. Bradshaw and J. Counsell, Eds., Lancaster University, Great Britain, 1997.
10. J. Gausemeier, W. Schäfer, J. Greenyer, S. Kahl, S. Pook, and J. Rieke, "Management Of Cross-Domain Model Consistency During The Development Of Advanced Mechatronic Systems," in International Conference on Engineering Design. ICED, August 2009.
11. T. Mens, "Conditional Graph Rewriting As A Domain-Independent Formalism For Software Evolution," in In the Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99, p. 127, Kerkrade, The Netherlands. LNCS 1779. Springer-Verlag, 2000, pp. 127-143.
12. P. Andre, A. Romanczuk, and J. Royer, "Checking The Consistency Of UML Class Diagrams Using Larch Prover," in Rigorous Object-Oriented Methods 2000, York, UK, January 2000.
13. J. Chanda, A. Kanjilal, and S. Sengupta, "UML-Compiler: A Framework For Syntactic And Semantic Verification of UML Diagrams," in Distributed Computing and Internet Technology, Eds. Springer Berlin / Heidelberg, 2010, vol. 5966, pp. 194-205.
14. B. Schätz, P. Braun, F. Huber, and A. Wispeintner, "Consistency In Model-Based Development," in Proceedings of ECBS 2003 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2003, from the department of Systems & Software Engineering at TUM (Broy).
15. T. Mens, R. Van Der Straeten, and J. Simmonds, "A Framework For Managing Consistency Of Evolving UML Models," in Software Evolution with UML and XML, H. Yang, Ed. Idea Group Publishing, 2005, pp. 1-31.
16. J. Simmonds, R. Van Der Straeten, V. Jonckers, and T. Mens, "Maintaining Consistency Between UML Models Using Description Logic," in RSTI série L'Objet, Langages et Modèles à Objets, LMO'04, vol. 10, no. 2-3, pp. 231-244.
17. M. Broy, M. Feilkas, M. Herrmannsdoerfer, S. Merenda, and D. Ratiu, "Seamless Model-based Development: From Isolated Tools To Integrated Model Engineering Environments," in Proceedings of the IEEE, Special Issue on Aerospace and Automotive Software, vol. 98, no. 4, April 2010.
18. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction To Automata Theory, Languages, And Computation, 2nd ed. Addison Wesley, November 2000.
19. D. Kozen, Automata And Computability. New York: Springer-Verlag, 1997.
20. D. R. Hofstadter, Gödel, Escher, Bach. Basic Books, February 1999.
21. H. Giese, T. Levendovszky, and H. Vangheluwe. Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. In Proceedings of the 2006 International Conference on Models in Software Engineering, MoDELS'06, pages 252-262. SpringerVerlag, 2006.
22. Meta Object Facility (MOF) Version 2.0, Object Management Group Std.
23. G. A. Hazelrigg, "A Framework For Decision-Based Engineering Design," in Journal of Mechanical Design, vol. 120, December 1998, pp. 653-658.
24. S. C. Thompson, 2011, Rational Design Theory: A Decision-Based Foundation For Studying Design Methods, Ph.D. Thesis, G.W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, Atlanta.
25. S. Chowdhury, Design For Six Sigma, 1st ed. Kaplan Business, March 2002.
26. G. Taguchi, "On Robust Technology Development." ASME Press, NY, 1993.
27. G. Boothroyd, "Design For Assembly - The Key To Design For Manufacture," International Journal of Manufacturing Technology, vol. 2, no. 9, pp. 3-11, January 1987.
28. M. Tribus, Rational Descriptions, Decisions And Designs. Pergamon, 1969.
29. J. von Neumann and O. Morgenstern, Theory Of Games And Economic Behavior. Princeton: Princeton University Press, 1947.
30. P. C. Fishburn, Utility Theory For Decision Making. Wiley, 1970.
31. SysML, The Systems Modeling Language (OMG SysML) Version 1.2, Object Management Group Std., June 2010.
32. Mathworks, "MATLAB®/Simulink®," http://-www.mathworks. com/.
33. E. Tjalve, Systematic Design Of Industrial Products. Institute of Product Development, The Technical University of Denmark, 2003.
34. OMG, "OMG Unified Modeling Language (OMG UML) Infrastructure Version 2.3," Tech. Rep. formal/2010-0503, 2010. [Online]. Available: http://www.omg.org/spec/-UML/2.3/Infrastructure/PDF
35. M. Broy, M. L. Crane, J. Dingel, A. Hartman, B. Rumpe, and B. Selic, "Formal Semantics For UML."
36. Semantics Of A Foundational Subset For Executable UML Models, Object Management Group (OMG), May 2009.
37. "UML 1.0 Semantics," Rational Software Corporation, Tech. Rep., 1997.