Verification and validation of activity diagrams using graph transformation

ICCTD 2009 - 2009 International Conference on Computer Technology and Development

Volumn 1, Issue , 2009, Pages 201-205

  Rafe, Vahid ^a   Rafeh, Reza ^a   Azizi, Somayeh ^b   Miralvand, Mohamad Reza Zand ^a  

^a ISLAMIC AZAD UNIVERSITY   (Iran)

^b ISLAMIC AZAD UNIVERSITY   (Iran)

Author keywords

Activity diagram; Graph transformation; Semantics; Verification and validation

Indexed keywords

ACTIVITY DIAGRAM; COMPLEX STRUCTURE; FORMAL SEMANTICS; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION SYSTEM; GRAPHICAL STRUCTURES; TOOLSETS; VERIFICATION ACTIVITIES; VERIFICATION AND VALIDATION;

FORMAL METHODS; GRAPHIC METHODS; SYSTEMS ANALYSIS;

SEMANTICS;

EID: 77951129740     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCTD.2009.172     Document Type: Conference Paper

References (4)

1. Vahid Rafe and Adel T. Rahmani, "Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems" ICTAC 2008, LNCS 5160, pages. 305-318, 2008.
2. Heckel, Reiko (2006), "Graph transformation in a nutshell". Electronic Notes in Theoretical Computer Science 148 (1 SPEC. ISS.), pp. 187-198.
3. Luciano Baresi, and Reiko Heckel, "Tutorial Introduction to Graph Transformation: A Software Engineering Perspective", 2000.
4. Martin Fowler, Kendall Scott, "UML Distilled Addison" Wesley 2000.