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
