Verification and Validation of Activity Diagrams Using Graph Transformation

Rafe, Vahid and Rafeh, Reza and Azize, Somayeh and Zand Miralvand, Mohammad Reza (2009) Verification and Validation of Activity Diagrams Using Graph Transformation. International Conference on Computer Technology and Development (ICCTD 2009), Kota Kinabalu, Malaysia, 13-15 November 2009 .

Full text not available from this repository.

Abstract or Summary

Graphical structures (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems. These structures are often augmented by formalisms which add a further dimension to the static description allowing for the modeling of the evolution of systems via any kind of transformation of such graphical structures. Graph transformation has been widely used for modeling. Graphs are well suited to describe the underlying structures of models. They provide a good method to carry out the analysis and verification activities and using the AGG toolset for designing them. A major goal of this paper is the ability to determine the correctness behavior and formal semantics of UML2.0 activity diagrams by Graph Transformation Systems.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:semantics, Graph Transformation, Verification and Validation, Activity Diagram
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5153
Deposited By:
Deposited On:15 Jan 2017 22:23
Last Modified:19 Dec 2018 23:47

Repository Staff Only: item control page