Multi-view Consistency in UML
Alexander Knapp, Till Mossakowski

TL;DR
This paper surveys existing methods for ensuring multi-view UML/OCL model consistency, highlighting gaps in behavioral coverage and proposing a comprehensive distributed semantics approach using DOL.
Contribution
It provides a critical survey of current techniques, classifies them, and introduces a new distributed semantics framework for multi-view UML/OCL consistency.
Findings
Most methods focus on structural aspects
Limited coverage of behavioral consistency
Proposes a distributed semantics approach
Abstract
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
