Object Flow Definition for Refined Activity Diagrams

Jurack, Stefan; Lambers, Leen; Mehner, Katharina; Taentzer, Gabriele; Wierse, Gerd

by Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse

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.

Reference:

Object Flow Definition for Refined Activity Diagrams (Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse), In Proc. Fundamental Approaches to Software Engineering (FASE'09) (Marsha Chechik, Martin Wirsing, eds.), Springer, volume 5503, 2009.

Bibtex Entry:

@InProceedings{JLMTW09,
AUTHOR = {Jurack, Stefan and Lambers, Leen and Mehner, Katharina and Taentzer, Gabriele and Wierse, Gerd},
TITLE = {{Object Flow Definition for Refined Activity Diagrams}},
YEAR = {2009},
BOOKTITLE = {Proc. Fundamental Approaches to Software Engineering (FASE'09)},
VOLUME = {5503},
PAGES = {49 -- 63},
EDITOR = {Chechik, Marsha and Wirsing, Martin},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {York, UK},
PUBLISHER = {Springer},
PDF = {uploads/pdf/JLMTW09_objectflow.pdf},
OPTacc_pdf = {},
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.}
}