@TechReport{LJMRT08-TR,
AUTHOR = {Lambers, Leen and Jurack, Stefan and Mehner, Katharina and Runge, Olga and Taentzer, Gabriele},
TITLE = {{Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version}},
YEAR = {2008},
NUMBER = {2008-11},
INSTITUTION = {Technische Universitat Berlin},
URL = {http://www.eecs.tu-berlin.de/fileadmin/f4/TechReports/2008/2008-11.pdf},
PDF = {uploads/pdf/LJMRT08-TR_2008-11.pdf},
OPTacc_pdf = {},
ABSTRACT = {In use case-driven approaches to requirements modeling, UML ac-
tivity 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 di-
agrams 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.}
}