Logo des Repositoriums
 
Konferenzbeitrag

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

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2016

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, Robert (2016): Towards a catalog of structural and behavioral verification tasks for UML/OCL models. Modellierung 2016. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-648-0. pp. 117-124. Karlsruhe. 2.-4. März 2016

Schlagwörter

Zitierform

DOI

Tags