Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems

Rafe, Vahid and Rahmani, Adel and Rafeh, Reza (2010) Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. International Journal of Software Engineering and Knowledge Engineering, 20 (5). pp. 679-694. ISSN 0218-1940

Full text not available from this repository.

Official URL:

Abstract or Summary

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
Keywords that describe the item: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
ID Code:5086
Deposited By:
Deposited On:10 Jan 2017 20:37
Last Modified:19 Dec 2018 23:00

Repository Staff Only: item control page