@inproceedings{9864d9b68fe34457be2830432d26e497,
title = "Formulating model verification tasks prover-independently as UML diagrams",
abstract = "The success of Model-Driven Engineering (MDE) relies on the quality of the employed models. Thus, quality assurance through validation and verification has a tradition within MDE. But model verification is typically done in the context of specialized approaches and provers. Therefore, verification tasks are expressed from the viewpoint of the chosen prover and approach requiring particular expertise and background knowledge. This contribution suggests to take a new view on verification tasks that is independent from the employed approach and prover. We propose to formulate verifications tasks in terms of the used modeling language itself, e.g. with UML and OCL. As prototypical example tasks we show how (a) questions concerning model consistency can be expressed with UML object diagrams and (b) issues regarding state reachability can be defined with UML sequence diagrams.",
author = "Martin Gogolla and Frank Hilken and Philipp Niemann and Robert Wille",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, Held as Part of STAF 2017 ; Conference date: 19-07-2017 Through 20-07-2017",
year = "2017",
doi = "10.1007/978-3-319-61482-3\_14",
language = "English",
isbn = "9783319614816",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "232--247",
editor = "Anthony Anjorin and Huascar Espinoza",
booktitle = "Modelling Foundations and Applications - 13th European Conference, ECMFA 2017 Held as Part of STAF 2017, Proceedings",
}