Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies

Due to the increase of their complexity, currently engineered sys- tems cannot be developed by one individual, but are a product of a collaboration between multiple stakeholders who develop the sys- tem from different domain-specific views. Inconsistencies between views, however, hinder collaboration and therefore, must be man- aged. Since the encountered inconsistencies may potentially dis- appear as the natural consequence of a design workflow, tolerating them to a given extent may be desirable and can lead to a more effi- cient collaboration. A key to reason about tolerance is the quantifi- cation of the impact of single inconsistencies on the overall system design. In this paper we present a quantification model for semantic in- consistencies in discrete and continuous systems. We investigate characteristic behavioral patterns of inconsistencies based on this model and identify the links with various forms of tolerance. Fi- nally, we discuss the directions of further expanding the approach required for a comprehensive inconsistency tolerance technique.

[1]  Francesco Zappa Nardelli,et al.  86-TSO : A Rigorous and Usable Programmer ’ s Model for x 86 Multiprocessors , 2010 .

[2]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[3]  Tom Mens,et al.  Incremental Resolution of Model Inconsistencies , 2006, WADT.

[4]  P. Young,et al.  Time series analysis, forecasting and control , 1972, IEEE Transactions on Automatic Control.

[5]  Guilin Qi,et al.  Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics , 2007, Description Logics.

[6]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[7]  Martin Törngren,et al.  Integrating viewpoints in the development of mechatronic products , 2014 .

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

[9]  D. Gabbay,et al.  Inconsistency Handling in Multiperspective Specifications , 1994 .

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

[11]  Bashar Nuseibeh,et al.  Coordinating distributed ViewPoints: the Anatomy of a Consistency Check , 1994 .

[12]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

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

[14]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

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

[16]  Jan Reineke,et al.  Basic problems in multi-view modeling , 2017, Software & Systems Modeling.

[17]  Guido Wachsmuth,et al.  Modelling the Operational Semantics of Domain-Specific Modelling Languages , 2007, GTTSE.

[18]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[19]  Gwilym M. Jenkins,et al.  Time series analysis, forecasting and control , 1971 .

[20]  Dimitri Golenko-Ginzburg,et al.  Resource Constrained Project Scheduling Models under Random Disturbances , 2006 .

[21]  Holger Giese,et al.  Incremental model synchronization for multiple updates , 2008, GRaMoT '08.

[22]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[23]  Eugene Syriani,et al.  Cloud-Based Multi-View Modeling Environments , 2016 .

[24]  Mrv Michel Chaudron,et al.  An empirical investigation in quantifying inconsistency and incompleteness of UML designs , 2003 .

[25]  Bradley R. Schmerl,et al.  View Consistency in Architectures for Cyber-Physical Systems , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[26]  Christiaan J. J. Paredis,et al.  Multi-view Modeling to Support Embedded Systems Engineering in SysML , 2010, Graph Transformations and Model-Driven Engineering.

[27]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[28]  Eric Gressier-Soudan,et al.  Consistency models for distributed interactive multimedia applications , 2004, OPSR.

[29]  Christer Ericson,et al.  Real-Time Collision Detection , 2004 .

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

[31]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

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

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

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

[35]  Michel Raynal,et al.  Timed consistency for shared distributed objects , 1999, PODC '99.

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

[37]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[38]  Grigore Rosu,et al.  Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis , 2006, CAV.

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

[40]  Christiaan J. J. Paredis,et al.  Enabling Multi-View Modeling with SysML Profiles and Model Transformations , 2009 .

[41]  Christian Artigues,et al.  Resource-Constrained Project Scheduling: Models, Algorithms, Extensions and Applications , 2007 .

[42]  Wilhelm Schäfer,et al.  Management of Cross-Domain Model Consistency during the Development of Advanced Mechatronic Systems , 2009 .

[43]  John C. Grundy,et al.  Inconsistency Management for Multiple-View Software Development Environments , 1998, IEEE Trans. Software Eng..

[44]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[45]  Anthony Hunter,et al.  Measuring Inconsistency through Minimal Inconsistent Sets , 2008, KR.

[46]  David A. Wood,et al.  A Primer on Memory Consistency and Cache Coherence , 2012, Synthesis Lectures on Computer Architecture.

[47]  Christiaan J. J. Paredis,et al.  A Conceptual Basis for Inconsistency Management in Model-based Systems Engineering☆ , 2014 .

[48]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[49]  Qin Xiao,et al.  Delayed Consistency Model for Distributed Interactive Systems with Real-Time Continuous Media , 2002 .

[50]  Dániel Varró,et al.  Foundations for Streaming Model Transformations by Complex Event Processing , 2016, Software & Systems Modeling.

[51]  Dejan Nickovic,et al.  Contracts for Systems Design: Theory , 2015 .

[52]  Edward A. Lee,et al.  Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems , 2012, Monterey Workshop.

[53]  Francesco Zappa Nardelli,et al.  x86-TSO , 2010, Commun. ACM.