A. Knapp, and T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, volume 10800 of Lecture Notes in Computer Science, page 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
DOI: 10.1007/978-3-319-75396-6 _ 3
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).
%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
}