Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10283
For citation please use:
Main Title: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
Author(s): Lambers, Leen
Jurack, Stefan
Mehner, Katharina
Runge, Olga
Taentzer, Gabriele
Type: Research Paper
Has Version: 10.1007/978-3-540-87875-9_25
Language Code: en
Abstract: In use case-driven approaches to requirements modeling, UML activity diagrams are a wide-spread means for refining the functional view of use cases. Early consistency validation of activity diagrams is therefore desirable but difficult due to the semi-formal nature of activity diagrams. In this paper, we specify well-structured activity diagrams and define activities more precisely by pre- and post- conditions. They can be modeled by interrelated pairs of object diagrams based on a domain class diagram. This activity refinement is based on the theory of graph transformation and paves the ground for a consistency analysis of the required system behavior. A formal semantics for activity diagrams refined by pre- and post-conditions allows us to establish sufficient criteria for consistency. The semi-automatic checking of these criteria is supported by a tool for graph transformation.
URI: https://depositonce.tu-berlin.de/handle/11303/11399
http://dx.doi.org/10.14279/depositonce-10283
Issue Date: 2008
Date Available: 17-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): class diagram
graph transformation
activity block
activity diagram
type graph
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2008-11
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr-2008-11.pdf
Format: Adobe PDF | Size: 557.74 kB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.