Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems

Authors:
Vahid Rafe;Adel T. Rahmani
Affiliations:
Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran;Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran
Venue:
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Year:
2008

Citing 9
Cited 1

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
An ASM Semantics for UML Activity Diagrams

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Formal Semantics of UML State Machines Based on Structured Graph Transformation

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Bogor: an extensible and highly-modular software model checking framework

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of 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
Symbolic model checking of UML activity diagrams

ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Specifying and verifying UML activity diagrams via graph transformation

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing

LDAG: a new model for grid workflow applications

WSEAS Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

Graph transformation has recently become more and more popular as a general visual language to formally state the dynamic semantics of the designed models. Using this technique, we present a highly understandable yet precise approach to formally model the behavioral semantics of UML 2.0 Activity diagrams. Automated formal verification and analysis of UML Activities is the main advantage of our approach. In our proposal, AGG toolset is used to design Activities, then using our previous approach to model checking graph transformation systems, designers can verify and analyze designed Activity diagrams. One of the main application areas of the Activities is workflow modeling; hence to illustrate our approach, we use our proposed semantics for modeling and verification of workflows.