Search for collections on Wintec Research Archive

Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems


Full text not available from this repository.


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.

Item Type: Journal article
Uncontrolled Keywords: Activity diagram, graph transformation, verification, dynamic semantics, AGG
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
Depositing User: Reza Rafeh
Date Deposited: 10 Jan 2017 20:37
Last Modified: 21 Jul 2023 04:34

Actions (login required)

View Item
View Item