Reference:
Leen Lambers, Stefan Jurack, Katharina Mehner, Olga Runge, Gabriele Taentzer, "Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version", Technical Report 2008-11, Technische Universitat Berlin, 2008.
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.
Links:
@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.}
}
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser