Towards a catalog of structural and behavioral verification tasks for UML/OCL models
dc.contributor.author | Hilken, Frank | |
dc.contributor.author | Niemann, Philipp | |
dc.contributor.author | Gogolla, Martin | |
dc.contributor.author | Wille, Robert | |
dc.contributor.editor | Oberweis, Andreas | |
dc.contributor.editor | Reussner, Ralf | |
dc.date.accessioned | 2017-06-21T07:40:53Z | |
dc.date.available | 2017-06-21T07:40:53Z | |
dc.date.issued | 2016 | |
dc.description.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. | en |
dc.identifier.isbn | 978-3-88579-648-0 | |
dc.identifier.pissn | 1617-5468 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Modellierung 2016 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-254 | |
dc.title | Towards a catalog of structural and behavioral verification tasks for UML/OCL models | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 124 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 117 | |
gi.conference.date | 2.-4. März 2016 | |
gi.conference.location | Karlsruhe |
Dateien
Originalbündel
1 - 1 von 1