@InProceedings{JLMT08,
AUTHOR = {Jurack, Stefan and Lambers, Leen and Mehner, Katharina and Taentzer, Gabriele},
TITLE = {{Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams}},
YEAR = {2008},
MONTH = {October},
BOOKTITLE = {Proc. 11th Int. Conf. on Model Driven Engineering Languages and System MoDELS08},
VOLUME = {5301},
PAGES = {341-355},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Toulouse, France},
PUBLISHER = {Springer},
PDF = {uploads/pdf/JLMT08_applActivity.pdf},
OPTacc_pdf = {},
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.}
}