@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
}