Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams

  • Stefan Jurack
  • Leen Lambers
  • Katharina Mehner
  • Gabriele Taentzer
Conference paper

DOI: 10.1007/978-3-540-87875-9_25

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)
Cite this paper as:
Jurack S., Lambers L., Mehner K., Taentzer G. (2008) Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In: Czarnecki K., Ober I., Bruel JM., Uhl A., Völter M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Stefan Jurack
    • 1
  • Leen Lambers
    • 2
  • Katharina Mehner
    • 3
  • Gabriele Taentzer
    • 1
  1. 1.Philipps-Universität MarburgGermany
  2. 2.Technische Universität BerlinGermany
  3. 3.Siemens, Corporate TechnologyGermany

Personalised recommendations