Paper Info
Title
Formal Analysis Of Uml 2.0 Activities Using Graph Transformation Systems
Abstract
Graph transformation is a general visual modeling language which is suitable for stating the dynamic semantics of the designed models formally. We present a highly understandable yet precise approach to formally define the behavioral semantics of UML 2.0 Activity diagrams by using graph transformation. In our approach we take into account control flow and data flow semantics. Our proposed semantics is based on token-like semantics and traverse-to-completion. The main advantage of our approach is automated formal verification and analysis of UML Activities. We use AGG to design Activities and we use our previous approach to model checking graph transformation system. Hereby, designers can verify and analyze designed Activity diagrams. Since workflow modeling is one of the main application areas of the Activities, we use our proposed semantics for modeling and verification of workflows to illustrate our approach.
Year
DOI
Venue
2010
10.1142/S0218194010004918
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
Activity diagram, graph transformation, verification, dynamic semantics, AGG
Operational semantics,Programming language,Unified Modeling Language,Computer science,Denotational semantics,Theoretical computer science,Activity diagram,Graph rewriting,Semantics,Well-founded semantics,Formal verification
Journal
Volume
Issue
ISSN
20
5
0218-1940
Citations 
PageRank 
References 
0
0.34
8
Authors
3
Name
Order
Citations
PageRank
Vahid Rafe125619.58
Adel Torkaman Rahmani213919.77
Reza Rafeh321110.02