Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models

Frank Hilken; Philipp Niemann; Martin Gogolla; Robert Wille

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

Department of Quantum Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	Modellierung
Pages	117-124
Number of pages	8
Publication status	Published - 2016

Fields of science

102 Computer Sciences
202 Electrical Engineering, Electronics, Information Engineering

Cite this

@inproceedings{2d04b41d34714583b5d68d5d6b9b0988,

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",

pages = "117--124",

booktitle = "Modellierung",

}

TY - GEN

T1 - Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models

AU - Hilken, Frank

AU - Niemann, Philipp

AU - Gogolla, Martin

AU - Wille, Robert

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

M3 - Conference proceedings

SP - 117

EP - 124

BT - Modellierung

ER -