Multi-view Consistency in UML

We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists. We find that only limited subsets of the UML/OCL have been covered so far and that consistency checks mostly only cover structural aspects, whereas only few methods also address behaviour. We also give a classification of different techniques for multi-view UML/OCL consistency: consistency rules, the system model approach, dynamic meta-modelling, universal logic, and heterogeneous transformation. Finally, we elaborate cornerstones of a comprehensive distributed semantics approach to consistency using OMG's Distributed Ontology, Model and Specification Language (DOL).

[1]  Bernhard Rumpe,et al.  Defining UML family members using prefaces , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32.

[2]  Gregor Engels,et al.  Analysis of UML Activities Using Dynamic Meta Modeling , 2007, FMOODS.

[3]  Hongyuan Wang,et al.  Consistency check between behaviour models , 2005, IEEE International Symposium on Communications and Information Technology, 2005. ISCIT 2005..

[4]  David A. Carrington,et al.  Formalizing the UML Class Diagram Using Object-Z , 1999, UML.

[5]  Gianna Reggio,et al.  Towards a Rigorous Semantics of UML Supporting Its Multiview Approach , 2001, FASE.

[6]  Heike Wehrheim,et al.  Checking Consistency in UML Diagramms: Classes and State Machines , 2003, FMOODS.

[7]  Eerke Albert Boiten,et al.  A framework for UML consistency , 2002 .

[8]  Jürgen Dingel,et al.  Understanding and improving UML package merge , 2008, Software & Systems Modeling.

[9]  Simonetta Balsamo,et al.  Radical Innovations of Software and Systems Engineering in the Future , 2004, Lecture Notes in Computer Science.

[10]  Martin Gogolla,et al.  From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics , 2014, Modellierung.

[11]  Gerti Kappel,et al.  On the Usage of UML: Initial Results of Analyzing Open UML Models , 2014, Modellierung.

[12]  Tai-hoon Kim,et al.  A Survey of Consistency Checking Techniques for UML Models , 2008, 2008 Advanced Software Engineering and Its Applications.

[13]  Quan Long,et al.  Consistent code generation from UML models , 2005, 2005 Australian Software Engineering Conference.

[14]  Tom Mens,et al.  Detecting Inconsistencies between UML Models Using Description Logic , 2003, Description Logics.

[15]  András Pataricza,et al.  Completeness and Consistency Analysis of UML Statechart Specifications , 2000 .

[16]  Jordi Cabot,et al.  Verification of UML/OCL Class Diagrams using Constraint Programming , 1899, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[17]  Frank S. de Boer,et al.  Formal Methods for Components and Objects , 2012, Lecture Notes in Computer Science.

[18]  András Pataricza,et al.  Methods of checking general safety criteria in UML statechart specifications , 2005, Reliab. Eng. Syst. Saf..

[19]  Betty H. C. Cheng,et al.  A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[20]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[21]  Reiko Heckel,et al.  A Combined Reference Model- and View-Based Approach to System Specification , 1997, Int. J. Softw. Eng. Knowl. Eng..

[22]  Till Mossakowski,et al.  A Modular Consistency Proof for DOLCE , 2011, AAAI.

[23]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[24]  Umesh Bellur,et al.  On OO Design Consistency in Iterative Development , 2006, Third International Conference on Information Technology: New Generations (ITNG'06).

[25]  José Ambrosio Toval Álvarez,et al.  A systematic review of UML model consistency management , 2009, Inf. Softw. Technol..

[26]  Abdeslam En-Nouaary,et al.  A New Taxonomy of Inconsistencies in UML Models : with their Detection Methods for Better MDE , 2015, Int. J. Comput. Sci. Appl..

[27]  Bjørn Brændshøi.  Consistency Checking UML Interactions and State Machines , 2008 .

[28]  Artur Boronat,et al.  What Is a Multi-modeling Language? , 2008, WADT.

[29]  Andy Schürr,et al.  Formal Definition and Refinement of UML's Module/Package Concept , 1997, ECOOP Workshops.

[30]  W. L. Yeung,et al.  Checking Consistency between UML Class and State Models Based on CSP and B , 2004, J. Univers. Comput. Sci..

[31]  Jan Hendrik Hausmann,et al.  Dynamic META modeling: a semantics description technique for visual modeling languages , 2005 .

[32]  Jozef Hooman,et al.  Formalizing UML Models and OCL Constraints in PVS , 2004, SFEDL@ETAPS.

[33]  David A. Carrington,et al.  A formal object-oriented approach to defining consistency constraints for UML models , 2004, 2004 Australian Software Engineering Conference. Proceedings..

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

[35]  Martin Wirsing,et al.  View Consistency in Software Development , 2002, RISSEF.

[36]  Tom Mens,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

[37]  Jean-Pierre Jacquot,et al.  Consistency in UML and B Multi-view Specifications , 2005, IFM.

[38]  Reiko Heckel,et al.  The Consistency Workbench: A Tool for Consistency Management in UML-Based Development , 2003, UML.

[39]  Victor I. Chang,et al.  UML models consistency management: Guidelines for software quality manager , 2016, Int. J. Inf. Manag..

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

[41]  Sayak Ray,et al.  A dynamic assertion-based verification platform for validation of UML designs , 2012, SOEN.

[42]  Reiko Heckel,et al.  TESTING THE CONSISTENCY OF DYNAMIC UML DIAGRAMS , 2002 .

[43]  Dan Ioan Chiorean,et al.  Ensuring UML Models Consistency Using the OCL Environment , 2004, Electron. Notes Theor. Comput. Sci..

[44]  Manfred Broy,et al.  Considerations and Rationale for a UML System Model , 2009, UML 2 Semantics and Applications.

[45]  Martin Gogolla,et al.  Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models , 2016, Modellierung.

[46]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[47]  Amiram Yehudai,et al.  Behavioral consistency validation of UML diagrams , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[48]  Martin Große-Rhode.  Integrating Semantics for Object-Oriented System Models , 2001, ICALP.

[49]  Martin Gogolla,et al.  Towards a Base Model for UML and OCL Verification , 2014, MoDeVVa@MoDELS.

[50]  Younès El Amrani,et al.  An Automated Translation of UML Class Diagrams into a Formal Specification to Detect Inconsistencies , 2011, ICSEA 2011.

[51]  Martin Gogolla,et al.  From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification , 2015, ICMT.

[52]  Youcef Hammal,et al.  A modular state exploration and compatibility checking of UML dynamic diagrams , 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.

[53]  Ivan Porres,et al.  Consistency of UML class, object and statechart diagrams using ontology reasoners , 2015, J. Vis. Lang. Comput..

[54]  Jifeng He,et al.  Towards a Rigorous Approach to UML-Based Development , 2005, SBMF.

[55]  Bernhard Rumpe,et al.  Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.

[56]  Jeffrey Parsons,et al.  Dimensions of UML Diagram Use: Practitioner Survey and Research Agenda , 2010 .

[57]  José Ambrosio Toval Álvarez,et al.  A Precise Approach for the Analysis of the UML Models Consistency , 2005, ER.

[58]  Remco M. Dijkman.  Consistency in multi-viewpoint architectural design , 2006 .

[59]  Régine Laleau,et al.  Using formal metamodels to check consistency of functional views in information systems specification , 2008, Inf. Softw. Technol..

[60]  Recommended Practice for Architectural Description of Software-Intensive Systems , 1999 .

[61]  Michaela Huhn,et al.  Vooduu: Verification of Object-Oriented Designs Using UPPAAL , 2004, TACAS.

[62]  P. van Emde Boas.  Formalizing UML: Mission impossible , 1998 .

[63]  Hyoseob Kim,et al.  Diagnosis of the significance of inconsistencies in object-oriented designs: a framework and its experimental evaluation , 2002, J. Syst. Softw..

[64]  Martin Gogolla,et al.  Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models , 2014, TAP@STAF.

[65]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[66]  Reiko Heckel,et al.  Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model , 2001, UML.

[67]  Yoshiyuki Shinkawa,et al.  Inter-Model Consistency in UML Based on CPN Formalism , 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

[68]  Sousuke Amasaki,et al.  Model Checking Consistency of UML Diagrams Using Alloy , 2010 .

[69]  Aamer Nadeem,et al.  A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams , 2011, FGIT-ASEA/DRBC/EL.

[70]  Martin Gogolla,et al.  Towards an integrated graph-based semantics for UML , 2003, Software & Systems Modeling.

[71]  Klaus Schneider,et al.  Integrating UML Composite Structures and fUML , 2014, SOFSEM.

[72]  Alexander Knapp,et al.  Model checking of UML 2.0 interactions , 2006, MoDELS'06.

[73]  Munker Florian,et al.  Multi-View Modeling in SysML: Thematic Structuring for Multiple Thematic Views , 2014 .

[74]  Bernhard Rumpe,et al.  Meta-Modeling Semantics of UML , 2014, ArXiv.

[75]  Hans Grönniger,et al.  Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten , 2010, Aachener Informatik-Berichte, Software Engineering.

[76]  Till Mossakowski,et al.  Heterogeneous Logical Environments for Distributed Specifications , 2008, WADT.

[77]  Alexander Egyed,et al.  Scalable consistency checking between diagrams - the VIEWINTEGRA approach , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[78]  Jochen Malte Küster,et al.  Consistency management of object oriented behavioral models , 2004 .

[79]  John Mylopoulos,et al.  RULE-BASED DETECTION OF INCONSISTENCY IN UML MODELS , 2002 .

[80]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[81]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[82]  Julian Padget,et al.  Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus , 2005, IFM.

[83]  Iulian Ober,et al.  Unambiguous UML Composite Structures: The OMEGA2 Experience , 2011, SOFSEM.

[84]  Shuzhen Yao,et al.  Consistency Checking of UML Dynamic Models Based on Petri Net Techniques , 2006, 2006 15th International Conference on Computing.

[85]  Indrakshi Ray,et al.  UML2Alloy: a challenging model transformation , 2007, MODELS'07.

[86]  Hrushikesha Mohanty,et al.  Ensuring Consistency in Relational Repository of UML Models , 2007, 10th International Conference on Information Technology (ICIT 2007).

[87]  María Victoria Cengarle,et al.  A Heterogeneous Approach to UML Semantics , 2008, Concurrency, Graphs and Models.

[88]  Barry Boehm,et al.  Heterogeneous view integration and its automation , 2000 .

[89]  Greg O'Keefe,et al.  Dynamic Logic Semantics for UML Consistency , 2006, ECMDA-FA.

[90]  Christian Soltenborn,et al.  Quality assurance with dynamic meta modeling , 2013 .

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

[92]  Claudia Pons,et al.  Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[93]  KHADIJA EL MILOUDI,et al.  A Multi-View Approach for Formalizing UML State Machine Diagrams Using Z Notation , 2015 .

[94]  Diego Latella,et al.  Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.

[95]  Manfred Broy,et al.  Definition of the System Model , 2009, UML 2 Semantics and Applications.

[96]  Marcela Genero,et al.  A systematic identification of consistency rules for UML diagrams , 2018, J. Syst. Softw..

[97]  Martin Grogbse-Rhode,et al.  Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science) , 2004 .

[98]  Horst Lichter,et al.  Towards the Integration of UML- and textual Use Case Modeling , 2009, J. Object Technol..

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

[100]  Ragnhild Van Der Straeten.  Inconsistency Detection between UML Models Using RACER and nRQL Ragnhild , 2004 .

[101]  Deepali Kholkar,et al.  Visual specification and analysis of use cases , 2005, SoftVis '05.

[102]  Xiaoshan Li.  A characterization of UML diagrams and their consistency , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

[103]  Carlos González,et al.  Towards a Subject-Oriented Model-Driven Framework , 2006, ABMB.

[104]  F PaigeRichard,et al.  Metamodel-based model conformance and multiview consistency checking , 2007 .

[105]  Markus Roggenbach,et al.  An Institutional Framework for Heterogeneous Formal Development in UML. , 2014 .

[106]  Quan Long,et al.  Model Checking Dynamic UML Consistency , 2006, ICFEM.

[107]  Alexander Egyed,et al.  UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models , 2007, 29th International Conference on Software Engineering (ICSE'07).

[108]  Olegas Vasilecas,et al.  Method on Specifying Consistency Rules among Different Aspect Models, expressed in UML , 2013 .

[109]  Bernhard Rumpe,et al.  Systems, Views and Models of UML , 2014, UML Workshop.

[110]  Heike Wehrheim,et al.  Checking the Validity of Scenarios in UML Models , 2005, FMOODS.

[111]  Quan Long,et al.  A Predicative Semantic Model for Integrating UML Models , 2004, ICTAC.

[112]  Gregor Engels,et al.  Consistency Management Within Model-Based Object-Oriented Development of Components , 2003, FMCO.

[113]  Marcela Genero,et al.  UML consistency rules: a systematic mapping study , 2014, EASE '14.

[114]  Ahmad Abdollahzadeh Barforoush,et al.  Enforcing component dependency in UML deployment diagram for cloud applications , 2014, 7'th International Symposium on Telecommunications (IST'2014).

[115]  Amir Pnueli,et al.  Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML , 2002, FMCO.