Engineering Process Transformation to Manage (In)consistency

Inconsistencies pose a severe issue to overcome in collaborative modeling scenarios, especially in settings with different domains involved. This is due to the significantly different formalisms employed that have overlapping semantic domains. A pertinent example are today’s mechatronic and Cyber-Physical Systems. In this paper, we propose an approach for managing inconsistencies based on explicitly modeled linguistic and ontological properties. We argue that to fully understand the reasons of their occurrence and impact on the overall design, inconsistencies should be investigated in the context of the process they emerge in. For this purpose, we propose a language for modeling processes in conjunction with the properties of the engineered system. Characteristics of inconsistencies are identified in terms of process models and properties. A method for optimal selection of management techniques is provided. We demonstrate our ideas on a case study of a real mechatronic system.

[1]  Stefan Feldmann,et al.  Combining a SysML-based Modeling Approach and Semantic Technologies for Analyzing Change Influences in Manufacturing Plant Models☆ , 2014 .

[2]  Anthony Finkelsteiin.  A Foolish Consistency: Technical Challenges in Consistency Management , 2000 .

[3]  Woodie C. Flowers,et al.  A genetic algorithm for resource-constrained scheduling , 1996 .

[4]  Ahsan Qamar,et al.  An Approach to Identifying Inconsistencies in Model-based Systems Engineering , 2014, CSER.

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

[6]  R. Syski,et al.  Fundamentals of Queueing Theory , 1999, Technometrics.

[7]  Mukund Chaudhary,et al.  CMMI for Development , 2017 .

[8]  Ákos Horváth,et al.  Multi-objective optimization in rule-based design space exploration , 2014, ASE.

[9]  Dániel Varró,et al.  Property-Based Methods for Collaborative Model Development , 2015, GEMOC+MPM@MoDELS.

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.

[11]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[12]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[13]  Sean Bechhofer,et al.  OWL: Web Ontology Language , 2009, Encyclopedia of Database Systems.

[14]  Ákos Horváth,et al.  Viatra 3: A Reactive Model Transformation Platform , 2015, ICMT.

[15]  Hans Vangheluwe,et al.  Towards Inconsistency Management by Process-Oriented Dependency Modeling , 2015, GEMOC+MPM@MoDELS.

[16]  Stefan Biffl,et al.  Automating Cross-Disciplinary Defect Detection in Multi-disciplinary Engineering Environments , 2014, EKAW.

[17]  Christian Bierwirth,et al.  Principles of Systems , 2000 .

[18]  Hans Vangheluwe,et al.  A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[19]  Christiaan J. J. Paredis,et al.  Dependency Modeling and Model Management in Mechatronic Design , 2012, J. Comput. Inf. Sci. Eng..

[20]  Christiaan J. J. Paredis,et al.  Bayesian Reasoning Over Models , 2014, MoDeVVa@MoDELS.

[21]  Dániel Varró,et al.  Automated Model Merge by Design Space Exploration , 2016, FASE.

[22]  Holger Giese,et al.  A Plug-In for Flexible and Incremental Consistency Management , 2003 .

[23]  R. Kolisch,et al.  Heuristic algorithms for the resource-constrained project scheduling problem: classification and computational analysis , 1999 .

[24]  Anthony Finkelstein,et al.  A Foolish Consistency: Technical Challenges in Consistency Management , 2000, DEXA.

[25]  Alexander Egyed,et al.  Automatically Detecting and Tracking Inconsistencies in Software Design Models , 2011, IEEE Transactions on Software Engineering.

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

[27]  Alessio Bucaioni,et al.  OSLC Tool Integration and Systems Engineering -- The Relationship between the Two Worlds , 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.

[28]  Hans Vangheluwe,et al.  FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.

[29]  Ajinkya Bhave,et al.  Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views , 2010 .

[30]  Pieter J. Mosterman,et al.  Ontological reasoning for consistency in the design of cyber-physical systems , 2016, 2016 1st International Workshop on Cyber-Physical Production Systems (CPPS).