Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams

Authors:
Stefan Jurack;Leen Lambers;Katharina Mehner;Gabriele Taentzer
Affiliations:
Philipps-Universität Marburg, Germany;Technische Universität Berlin, Germany;Siemens, Corporate Technology, Germany;Philipps-Universität Marburg, Germany
Venue:
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Year:
2008

Citing 9
Cited 4

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

Proceedings of the 24th International Conference on Software Engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Tool Support for Verifying UML Activity Diagrams

IEEE Transactions on Software Engineering
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Interaction Analysis in Aspect-Oriented Models

RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions

Electronic Notes in Theoretical Computer Science (ENTCS)
A formal framework for developing adaptable service-based applications

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Model composition in product lines and feature interaction detection using critical pair analysis

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Object Flow Definition for Refined Activity Diagrams

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
An architectural blueprint for model driven development and maintenance of business logic for information systems

ECSA'10 Proceedings of the 4th European conference on Software architecture
On scenario synchronization

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software

Quantified Score

Hi-index	0.00

Visualization

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.