Search for collections on Wintec Research Archive

Verification and Validation of Activity Diagrams Using Graph Transformation


Full text not available from this repository.


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
Uncontrolled Keywords: 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
Depositing User: Reza Rafeh
Date Deposited: 15 Jan 2017 22:23
Last Modified: 21 Jul 2023 04:36

Actions (login required)

View Item
View Item