Sciweavers

Share
MODELS
2015
Springer

Checking concurrent behavior in UML/OCL models

3 years 3 months ago
Checking concurrent behavior in UML/OCL models
Abstract—The Unified Modeling Language (UML) is a defacto standard for software development and, together with the Object Constraint Language (OCL), allows for a precise description of a system prior to its implementation. At the same time, these descriptions can be employed to check the consistency and, hence, the correctness of a given UML/OCL model. In the recent past, numerous (automated) approaches have been proposed for this purpose. The behavior of the systems has usually been considered by means of sequence diagrams, state machines, and activity diagrams. But with the increasing popularity of design by contract, also composite structures, classes, and operations are frequently used to describe behavior in UML/OCL. However, for these description means no solution for the validation and verification of concurrent behavior is available yet. In this work, we propose such a solution. To this end, we discuss the possible interpretations of “concurrency” which are admissible a...
Nils Przigoda, Christoph Hilken, Robert Wille, Jan
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
Comments (0)
books