Object Flow Definition for Refined Activity Diagrams

Authors:
Stefan Jurack;Leen Lambers;Katharina Mehner;Gabriele Taentzer;Gerd Wierse
Affiliations:
Philipps-Universität Marburg, Germany;Technische Universität Berlin, Germany;Siemens, Corporate Technology, Germany;Philipps-Universität Marburg, Germany;Philipps-Universität Marburg, Germany
Venue:
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
Year:
2009

Citing 8
Cited 5

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
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Tool Support for Verifying UML Activity Diagrams

IEEE Transactions on Software Engineering
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
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Analysis of UML activities using dynamic meta modeling

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
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

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
Precise vs. ultra-light activity diagrams - an experimental assessment in the context of business process modelling

PROFES'11 Proceedings of the 12th international conference on Product-focused software process improvement
A precise style for business process modelling: results from two controlled experiments

Proceedings of the 14th international conference on Model driven engineering languages and systems
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Business process modelling: five styles and a method to choose the most suitable one

Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling

Quantified Score

Hi-index	0.00

Visualization

Abstract

Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we refine activities by pairs of pre- and post-conditions formulated by interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation approach. Control flow is formalized by sets of transformation rule sequences, while object flow is described by partial dependencies between transformation rules. This approach is illustrated by a simple service-based on-line university calendar.