Feature-based systematic approach development for inconsistency resolution in automated production system design

Inconsistency management is important and challenging in automated production system design (APSD), because consistency among interdisciplinary models from different stakeholders cannot always be maintained in different design phases. Hence, (semi-)automated techniques assisting domain-specific engineers to resolve arising inconsistencies are essential to increase system reliability and design efficiency. However, few efforts have been made on inconsistency resolution in APSD. This study proposes a systematic method to develop an inconsistency resolution approach from problem definition to approach formulation. The problem addressed is firstly formalized, in order to reach a clear and common understanding across disciplines. Then, the solution space is framed with the feature diagram, which draws on mostly primary features in resolving inconsistencies. The feature diagram also allows approaches in different domains to be compared. As a result, a conceptual approach based on the feature diagram and oriented by the formalized problem is put forward. It is capable to plan resolutions semi-automatically for inter-model inconsistencies in APSD.

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

[2]  Jochen Malte Küster,et al.  Improving inconsistency resolution with side-effect evaluation and costs , 2007, MODELS'07.

[3]  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).

[4]  Alcino Cunha,et al.  Least-change bidirectional model transformation with QVT-R and ATL , 2014, Software & Systems Modeling.

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

[6]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[7]  Alexander Egyed,et al.  Computing repair trees for resolving inconsistencies in design models , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

[8]  Alcino Cunha,et al.  Model repair and transformation with Echo , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[9]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[10]  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.

[11]  Alexander Fay,et al.  Systematic reuse of interdisciplinary components supported by engineering relations , 2015 .

[12]  Alcino Cunha,et al.  A Feature-Based Classification of Model Repair Approaches , 2015, IEEE Transactions on Software Engineering.