Unified meta-modeling framework using bond graph grammars for conceptual modeling

Existing techniques for developing large scale complex engineering systems are predominantly software based and use Unified Modeling Language (UML). This leads to difficulties in model transformation, analysis, validation, verification and automatic code generation. Currently no general frameworks are available to bridge the concept-code gap rampant in design and development of complex, software-intensive mechatronic systems called cyber-physical systems. To fill this gap and provide an alternative approach to Object Management Group's UML/SysML/OCL combination, we propose: Bond Graph based Unified Meta-Modeling Framework (BG-UMF). BG-UMF is a practical and viable alternative and uses a novel hybrid approach based on model unification and integration. The focus is on conceptual design and development of executable models for large systems. The viability of the framework is demonstrated through an application scenario: conceptual design and development of a navigation and control system for a rotor-craft UAV. We analyze limitations of MDA/UML based frameworks for designing Cyber Physical Systems.We propose BG-UMF as a novel, practical and viable alternative based on Bond Graph Grammars.Design Automation (Concept to Code) is achieved by propagating constraints and causality.Output is an executable model, transformable to platform independent code using available tools.Validation is done using an example-concept design and development of a rotorcraft.

[1]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[2]  Marisol Delgado,et al.  A survey of bond graphs : Theory, applications and programs , 1991 .

[3]  Pieter C. Breedveld,et al.  Object-oriented modeling and simulation of mechatronic systems with 20-sim 3.0 , 1998 .

[4]  John McPhee,et al.  Forming Equivalent Subsystem Components to Facilitate the Modelling of Mechatronic Multibody Systems , 2005 .

[5]  R. Rosenberg.  State-Space Formulation for Bond Graph Models of Multiport Systems , 1971 .

[6]  Jianjun Hu,et al.  Toward a unified and automated design methodology for multi-domain dynamic systems using bond graphs and genetic programming , 2003 .

[7]  Jan F. Broenink,et al.  20-SIM software for hierarchical bond-graph/block-diagram models , 1999, Simul. Pract. Theory.

[8]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[9]  Denys Poshyvanyk,et al.  Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code , 2007, 15th IEEE International Conference on Program Comprehension (ICPC '07).

[10]  Dean Karnopp,et al.  System Dynamics: Modeling, Simulation, and Control of Mechatronic Systems , 1999 .

[11]  John McPhee,et al.  Unified Modelling Theories for the Dynamics of Multidisciplinary Multibody Systems , 2005 .

[12]  Job van Amerongen,et al.  Modelling, Simulation and Controller Design for Mechatronic Systems with 20-Sim 3.0 , 2000 .

[13]  Tetsuo Tomiyama,et al.  A review of function modeling: Approaches and applications , 2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[14]  Haiyan Zhao,et al.  Transformation from CIM to PIM: a feature-oriented component-based approach , 2005, MoDELS'05.

[15]  Brigitte Moench,et al.  Engineering Design A Systematic Approach , 2016 .

[16]  Bertram Ludäscher,et al.  Actor-Oriented Design of Scientific Workflows , 2005, ER.

[17]  Wolfgang Borutzky,et al.  Bond Graph Methodology: Development and Analysis of Multidisciplinary Dynamic System Models , 2009 .

[18]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[19]  Janis Grundspenkis,et al.  What Is CIM: An Information System Perspective , 2009, ADBIS.

[20]  Witold Suryn,et al.  Transformation from CIM to PIM Using Patterns and Archetypes , 2008 .

[21]  Christiaan J. J. Paredis,et al.  Composable Models for Simulation-Based Design , 2001, Engineering with Computers.

[22]  Hans Vangheluwe,et al.  Explicit transformation modeling , 2009, MODELS'09.

[23]  P. C. Breedveld.  Concept-Oriented Modeling of Dynamic Behavior , 2011 .

[24]  T.-J. Yeh,et al.  Backstepping control in the physical domain , 2001, J. Frankl. Inst..

[25]  Jean-Marie Favre,et al.  Towards a Megamodel to Model Software Evolution Through Transformations , 2005, SETra@ICGT.

[26]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[27]  Roland Siegwart,et al.  Modeling and System Identification of the muFly Micro Helicopter , 2010, J. Intell. Robotic Syst..

[28]  Mario Piattini,et al.  CIM to PIM Transformation: A Reality , 2007, CONFENIS.

[29]  Agris Sostaks,et al.  From Requirements to Code in a Model Driven Way , 2009, ADBIS.

[30]  Olivier Barais,et al.  Reusable model transformations , 2012, Software & Systems Modeling.

[31]  John H. Lumkes,et al.  Control Strategies for Dynamic Systems , 2001 .

[32]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[33]  Raymond C. Montgomery,et al.  Automated Modeling and Simulation Using the Bond Graph Method for the Aerospace Industry , 2003 .

[34]  N. Suh.  Complexity in Engineering , 2005 .

[35]  John McPhee,et al.  A unified graph—Theoretic approach to formulating multibody dynamics equations in absolute or joint coordinates , 1997 .

[36]  J. Gordon Leishman,et al.  Principles of Helicopter Aerodynamics , 2000 .

[37]  Timothy W. McLain,et al.  Autonomous Vehicle Technologies for Small Fixed-Wing UAVs , 2003, J. Aerosp. Comput. Inf. Commun..

[38]  Evagoras G. Xydas,et al.  Model Reduction of Modal Representations , 2006 .

[39]  Gianna Reggio,et al.  Consistency Problems in UML-Based Software Development , 2004, UML Satellite Activities.

[40]  Kristina Shea,et al.  A FRAMEWORK FOR COMPUTATIONAL DESIGN SYNTHESIS BASED ON GRAPH-GRAMMARS AND FUNCTION-BEHAVIOR-STRUCTURE , 2009 .

[41]  Peter J. Gawthrop,et al.  Metamodelling: for bond graphs and dynamic systems , 1996 .

[42]  Warren P. Seering,et al.  Computation and conceptual design , 1988 .

[43]  Esperanza Marcos,et al.  Applying CIM-to-PIM model transformations for the service-oriented development of information systems , 2011, Inf. Softw. Technol..

[44]  C.W. de Silva,et al.  Mechatronic Design Quotient as the Basis of a New Multicriteria Mechatronic Design Methodology , 2007, IEEE/ASME Transactions on Mechatronics.

[45]  Jiro Tanaka,et al.  Code generation from UML statecharts , 2003, ICSE 2003.

[46]  G. Nordstrom,et al.  On metamodel composition , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[47]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[48]  John Lumkes.  Control Strategies for Dynamic Systems: Design and Implementation , 2001 .

[49]  Norman Wilde,et al.  A comparison of methods for locating features in legacy software , 2003, J. Syst. Softw..

[50]  Andrian Marcus,et al.  An information retrieval approach to concept location in source code , 2004, 11th Working Conference on Reverse Engineering.

[51]  Subodh Bhandari,et al.  14-DoF Linear Parameter Varying Model of a UAV Helicopter using Analytical Techniques , 2008 .

[52]  Wolfgang Borutzky.  Bond Graph Modelling And Simulation Of Mechatronic Systems An Introduction Into The Methodology , 2006 .

[53]  Nam P. Suh,et al.  Axiomatic Design Theory for Systems , 1998 .

[54]  Vjekoslav Damić.  Modelling flexible body systems: a bond graph component model approach , 2006 .

[55]  Cezary Orlikowski.  Deriving transfer functions from bond graphs by application of Grassmann algebra , 2001 .

[56]  Mario Piattini,et al.  Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases , 2007, BPM.

[57]  P. Gawthrop,et al.  Bond-graph modeling , 2007, IEEE Control Systems.

[58]  R. Layton.  Principles of Analytical System Dynamics , 1998 .

[59]  Jean Bézivin,et al.  Technological Spaces: An Initial Appraisal , 2002 .

[60]  Bruno Sareni,et al.  Bond-graph-based model simplification for system analysis: Application to a railway traction device , 2006 .

[61]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[62]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .