Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10253
For citation please use:
Main Title: Object Flow Definition for Refined Activity Diagrams: Long Version
Author(s): Jurack, Stefan
Lambers, Leen
Mehner, Katharina
Taentzer, Gabriele
Wierse, Gerd
Type: Research Paper
Language Code: en
Abstract: Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we refine activities by pairs of pre- and post-conditions formulated by interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation approach. Control flow is formalized by sets of transformation rule sequences, while object flow is described by partial dependencies between transformation rules. The theory of algebraic graph transformation can be used to validate the consistency of control and object flows in refined activity diagrams. This approach is illustrated by a simple service-based on-line university calendar.
URI: https://depositonce.tu-berlin.de/handle/11303/11366
http://dx.doi.org/10.14279/depositonce-10253
Issue Date: 2009
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): activity diagrams
graph transformation
object flow
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2009-01
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr-2009-01.pdf
Format: Adobe PDF | Size: 554.49 kB
DownloadShow Preview
Thumbnail

Item Export Bar

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