@inproceedings{58476b2af0ec4fc38c0ced125e130e10,
title = "Towards a catalog of structural and behavioral verification tasks for UML/OCL models",
abstract = "Verification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, 'consistency' or 'reachability' can be found in current approaches and tools. This paper is designed to clarify central verification notions and to establish a collection of typical verification tasks that are common to multiple approaches and tools. In addition, the verification tasks are categorized with the aim of creating a central catalog of tasks, providing a common understanding of the terms used in model verifications.",
author = "Frank Hilken and Philipp Niemann and Martin Gogolla and Robert Wille",
year = "2016",
language = "English",
series = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",
publisher = "Gesellschaft fur Informatik (GI)",
pages = "117--124",
editor = "Andreas Oberweis and Ralf Reussner",
booktitle = "Modellierung 2016 - Proceedings",
note = "Modellierung 2016 - Modeling 2016 ; Conference date: 02-03-2016 Through 04-03-2016",
}