Specifying and verifying UML activity diagrams via graph transformation

Lecture Notes in Computer Science

Volumn 3267, Issue , 2005, Pages 18-33

  Baldan, Paolo ^a   Corradini, Andrea ^b   Gadducci, Fabio ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; SOCIAL SCIENCES COMPUTING;

BEHAVIORAL PROPERTIES; GRAPH TRANSFORMATIONS; SYSTEM SPECIFICATION; TEMPORAL GRAPHS;

SPECIFICATIONS;

EID: 23944464941     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31794-4_2     Document Type: Conference Paper

References (22)

1. The AGILE project home page, http://siskin.pst.informatik.uni-muenchen. de/ projekte/agile/, 2004.
2. L. Andrade, P. Baldan, H. Baumeister, et al. AGILE: Software architecture for mobility. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Proceedings of the 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002), volume 2755 of LNCS, pages 1-33. Springer, 2003.
3. P. Baldan, A. Corradini, and B. König. A static analysis technique for graph transformation systems. In K.G. Larsen and M. Nielsen, editors, Proceedings of the 12th International Conference on Concurrency Theory (CONCUR 2001), volume 2154 of LNCS, pages 381-395. Springer, 2001.
4. P. Baldan, A. Corradini, and B. König. Verifying finite-state graph grammars: an unfolding-based approach. In P. Gardner and N. Yoshida, editors, Proceedings of the 15th International Conference on Concurrency Theory (CONCUR 2004), LNCS. Springer, 2004.
5. P. Baldan and B. König. Approximating the behaviour of graph transformation systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proceedings of the First International Conference on Graph Transformation (ICGT 2002), volume 2505 of LNCS, pages 14-30. Springer, 2002.
6. A. Corradini, R. Heckel, and U. Montanari. Graphical operational semantics. In A. Corradini and R. Heckel, editors, Proceedings of the ICALP Workshop on Graph Transformations and Visual Modeling Techniques (GT-VMT 2000), volume 8 of Proceedings in Informatics, pages 411-418. Carleton Scientific, 2000.
7. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1: Foundations. World Scientific, 1997.
8. B. Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations. World Scientific, 1997.
9. D. Distefano, A. Rensink, and J.-P. Katoen. Model checking dynamic allocation and deallocation. CTIT Technical Report TR-CTIT-01-40, Department of Computer Science, University of Twente, 2002.
10. G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proceedings of the Third International Conference on the Unified Modeling Language (UML 2000), volume 1939 of LNCS, pages 323-337. Springer, 2000.
11. G.L. Ferrari, U. Montanari, and E. Tuosto. Graph-based models of internetworking systems. In B.K. Aichernig and T. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, volume 2757 of LNCS, pages 242-266. Springer, 2003.
12. M. Gogolla. Graph transformations on the UML metamodel. In A. Corradini and R. Heckel, editors, Proceedings of the ICALP Workshop on Graph Transformations and Visual Modeling Techniques (GT-VMT 2000), volume 8 of Proceedings in Informatics, pages 359-371. Carleton Scientific, 2000.
13. M. Gogolla, P. Ziemann, and S. Kuske. Towards an integrated graph based semantics for UML. In P. Bottoni and M. Minas, editors, Proceedings of the ICGT Workshop on Graph Transformations and Visual Modeling Techniques (GT-VMT 2002), volume 72 of ENTCS. Elsevier, 2003.
14. R. Heckel, J.M. Küster, and G. Taentzer. Confluence of typed attributed graph transformation systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Proceedings of the First International Conference on Graph Transformation (ICGT 2002), volume 2505 of LNCS, pages 161-176. Springer, 2002.
15. D. Hirsch and U. Montanari. Synchronized hyperedge replacement with name mobility. In K.G. Larsen and M. Nielsen, editors, Proceedings of the 12th International Conference on Concurrency Theory (CONCUR 2001), volume 2154 of LNCS, pages 121-136. Springer, 2001.
16. G.E. Hughes and M.J. Cresswell. A new introduction to modal logic. Routledge, 1996.
17. S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In A. Haeberer, editor, Proceedings of the Fourth International Conference on the Unified Modeling Language (UML 2001), volume 2185 of LNCS, pages 241-256. Springer, 2001.
18. S. Kuske, M. Gogolla, R. Kollmann, and H.J. Kreowski. An integrated semantics for UML class, object and state diagrams based on graph transformation. In Proceedings of the Third International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of LNCS, pages 11-28. Springer, 2002.
19. C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:1-35, 1995.
20. K.L. McMillan. Symbolic Model Checking. Kluwer, 1993.
21. D. Plump. Term graph rewriting. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 2: Applications, Languages, and Tools. World Scientific, 1999.
22. J. Rumbaugh, I. Jacobson, and G. Book. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.