Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems

During the collaborative development of production systems, models are used to represent different views on the systems. These models are heterogeneous in forms but dependent in contents. Inconsistencies among them should be properly handled in an early time. An automated process is favored due to high efficiency and low error proneness when compared to the conventional manual fixing. In this study, an approach for knowledge-based automatically resolving inconsistencies (KARI) is proposed to resolve inconsistencies across development models. The approach can resolve several different inconsistencies simultaneously without causing new inconsistencies. At the same time, changes required to resolve inconsistencies can be minimized. The feasibility of this approach is proved by selected industrial cases in the simulation.

[1]  Birgit Vogel-Heuser,et al.  Evolution of software in automated production systems: Challenges and research directions , 2015, J. Syst. Softw..

[2]  S. Abdullah,et al.  Generating University Course Timetable Using Genetic Algorithms and Local Search , 2008, 2008 Third International Conference on Convergence and Hybrid Information Technology.

[3]  Christiaan J. J. Paredis,et al.  Design Heuristics: A Conceptual Framework and Preliminary Method for Extraction , 2017 .

[4]  Robert Bill,et al.  A local and global tour on MOMoT , 2017, Software & Systems Modeling.

[5]  Alexander Egyed,et al.  From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach , 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

[6]  Bashar Nuseibeh,et al.  Leveraging Inconsistency in Software Development , 2000, Computer.

[7]  Chun-Hung Chen,et al.  Simulation Budget Allocation for Further Enhancing the Efficiency of Ordinal Optimization , 2000, Discret. Event Dyn. Syst..

[8]  Birgit Vogel-Heuser,et al.  Feature-based systematic approach development for inconsistency resolution in automated production system design , 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).

[9]  Stefan Biffl,et al.  Multi-Disciplinary Engineering for Industrie 4.0: Semantic Challenges and Needs , 2016, Semantic Web Technologies for Intelligent Engineering Applications.

[10]  Mitsuo Gen,et al.  Genetic algorithms and engineering design , 1997 .

[11]  Tom Mens,et al.  Resolving model inconsistencies using automated regression planning , 2013, Software & Systems Modeling.

[12]  Manuel Wimmer,et al.  Leveraging Semantic Web Technologies for Consistency Management in Multi-viewpoint Systems Engineering , 2016, Semantic Web Technologies for Intelligent Engineering Applications.

[13]  Lukasz A. Kurgan,et al.  Semantic Mapping of XML Tags Using Inductive Machine Learning , 2002, ICMLA.

[14]  Birgit Vogel-Heuser,et al.  A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering , 2016, 2016 IEEE International Conference on Automation Science and Engineering (CASE).

[15]  Alexander Egyed,et al.  Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[16]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[17]  Alexander Egyed,et al.  Efficient detection of inconsistencies in a multi-developer engineering environment , 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

[18]  Andrea Zisman,et al.  Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .