Filmstripping and unrolling: A comparison of verification approaches for UML and OCL behavioral models

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

22 Scopus citations

Abstract

Guaranteeing the essential properties of a system early in the design process is an important as well as challenging task. Modeling languages such as the UML allow for a formal description of structure and behavior by employing OCL class invariants and operation pre- and postconditions. This enables the verification of a system description prior to implementation. For this purpose, first approaches have recently been put forward. In particular, solutions relying on the deductive power of constraint solvers are promising. Here, complementary approaches of how to formulate and transform respective UML and OCL verification tasks into corresponding solver tasks have been proposed. However, the resulting methods have not yet been compared to each other. In this contribution, we consider two verification approaches for UML and OCL behavioral models and compare their methods and the respective workflows with each other. By this, a better understanding of the advantages and disadvantages of these verification methods is achieved.

Original languageEnglish
Title of host publicationTests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, Proceedings
PublisherSpringer Verlag
Pages99-116
Number of pages18
ISBN (Print)9783319090986
DOIs
StatePublished - 2014
Externally publishedYes
Event8th International Conference on Tests and Proofs, TAP 2014, Held as Part of the Software Technologies: Applications and Foundations, STAF 2014 - York, United Kingdom
Duration: 24 Jul 201425 Jul 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8570 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Conference on Tests and Proofs, TAP 2014, Held as Part of the Software Technologies: Applications and Foundations, STAF 2014
Country/TerritoryUnited Kingdom
CityYork
Period24/07/1425/07/14

Fingerprint

Dive into the research topics of 'Filmstripping and unrolling: A comparison of verification approaches for UML and OCL behavioral models'. Together they form a unique fingerprint.

Cite this