%0 Conference Paper %1 knapp2016multiview %A Knapp, Alexander %A Mossakowski, Till %B Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig %D 2018 %E Heckel, Reiko %E Taentzer, Gabi %I Springer Verlag %K DOL heterogeneous institution myown uml %P 1-25 %R 10.1007/978-3-319-75396-6 _ 3 %T Multi-view Consistency in UML. A Survey %U https://link.springer.com/book/10.1007/978-3-319-75396-6 %V 10800 %X 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).

@inproceedings{knapp2016multiview, 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). }, added-at = {2016-10-09T23:14:47.000+0200}, author = {Knapp, Alexander and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/26e8fe679da4325f36985f37b5956193f/tillmo}, booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, doi = {10.1007/978-3-319-75396-6 _ 3}, editor = {Heckel, Reiko and Taentzer, Gabi}, interhash = {4750a2c7e64c7edc8ed75672f0bb592a}, intrahash = {6e8fe679da4325f36985f37b5956193f}, keywords = {DOL heterogeneous institution myown uml}, note = {see also https://arxiv.org/abs/1610.03960}, pages = {1-25}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2018-02-23T18:17:22.000+0100}, title = {Multi-view Consistency in UML. A Survey}, url = {https://link.springer.com/book/10.1007/978-3-319-75396-6}, volume = 10800, year = 2018 }