Logo des Repositoriums
 

Towards a catalog of structural and behavioral verification tasks for UML/OCL models

dc.contributor.authorHilken, Frank
dc.contributor.authorNiemann, Philipp
dc.contributor.authorGogolla, Martin
dc.contributor.authorWille, Robert
dc.contributor.editorOberweis, Andreas
dc.contributor.editorReussner, Ralf
dc.date.accessioned2017-06-21T07:40:53Z
dc.date.available2017-06-21T07:40:53Z
dc.date.issued2016
dc.description.abstractVerification 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.isbn978-3-88579-648-0
dc.identifier.pissn1617-5468
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofModellierung 2016
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-254
dc.titleTowards a catalog of structural and behavioral verification tasks for UML/OCL modelsen
dc.typeText/Conference Paper
gi.citation.endPage124
gi.citation.publisherPlaceBonn
gi.citation.startPage117
gi.conference.date2.-4. März 2016
gi.conference.locationKarlsruhe

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
117.pdf
Größe:
207.38 KB
Format:
Adobe Portable Document Format