Formal Verification of Object-Oriented Graph Grammars Specifications

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 4 SPEC. ISS., 2007, Pages 101-114

  Ferreira, Ana Paula Lüdtke ^a   Foss, Luciana ^b   Ribeiro, Leila ^b  

^a UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

Graph grammars; model checking; object oriented programming

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER NETWORKS; CONCURRENCY CONTROL; GRAPH THEORY; MODEL CHECKING;

FORMAL VERIFICATION; GRAPH GRAMMARS;

OBJECT ORIENTED PROGRAMMING;

EID: 34250852225     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.04.020     Document Type: Article

References (18)

1. Baldan, P., A. Corradini and B. König, Verifying finite-state graph grammars: An unfolding-based approach, in: CONCUR, 2004, pp. 83-98
2. Burkart, O. and Y.-M. Quemener, Model-checking of infinite graphs defined by graph grammars, Technical Report 995, IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Rennes (1996)
3. Corradini A., Montanari U., and Rossi F. Graph processes. Fundamentae Informatica 26 (1996) 241-265
4. dos Santos, O.M., "Verificação Formal de Sistemas Distribuídos Modelados na Gramática de Grafos Baseada em Objetos," Masters thesis, Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre (2004), 89p
5. Dotti F.L., Foss L., Ribeiro L., and Santos O.M. Verification of object-based distributed systems. In: Najm E., Nestmann U., and Stevens P. (Eds). Proceedings of the 6th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. (FMOODS 2003). Lecture Notes in Computer Science 2884 (2003) 261-275
6. Ehrig H., Heckel R., Korff M., Löwe M., Ribeiro L., Wagner A., and Corradini A. Algebraic approaches to graph transformation. Part II: single-pushout approach and comparison with double pushout approach, 1 (Foundations) (1996), World Scientific, Singapore 247-312
7. Ferreira, A.P.L., "Object-oriented graph grammars," PhD thesis, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil (2005), 156p
8. Ferreira A.P.L., and Ribeiro L. Towards object-oriented graphs and grammars. In: Najm E., Nestmann U., and Stevens P. (Eds). Proceedings of the 6th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. (FMOODS 2003). Lecture Notes in Computer Science 2884 (2003) 16-31
9. Ferreira A.P.L., and Ribeiro L. Derivations in object-oriented graph grammars. In: Ehrig H., Engels G., Parisi-Presicce F., and Rozenberg G. (Eds). Proceedings of the 2nd International Conference on Graph Transformations. (ICGT 2004). Lecture Notes in Computer Science 3256 (2004) 416-430
10. Holzmann G.J. The model checker SPIN. IEEE Transactions on Software Engineering 23 (1997) 1-17
11. Huth M.R.A., and Ryan M.D. Logic in Computer Science: Modelling and reasoning about systems (2000), Cambridge University Press, Cambridge
12. Koch, M., "Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems," PhD Thesis, Technische Universität Berlin, Berlin (1999)
13. Löwe, M., "Extended Algebraic Graph Transformation," Ph.D. thesis, Technischen Universität Berlin, Berlin (1991)
14. Pratt T.W., and Zelkowitz M.V. Programming languages : design and implementation. 3 edition (1996), Prentice-Hall, Upper Saddle River 654p
15. Rensink, A., Towards model checking graph grammars, in: M. Leuschel, S. Gruner and S.L. Presti, editors, Workshop on Automated Verification of Critical Systems (AVoCS) (2003), pp. 150-160
16. Rensink A. The GROOVE simulator: A tool for state space generation. In: Pfalz J., Nagl M., and Böhlen B. (Eds). Applications of Graph Transformations with Industrial Relevance (AGTIVE). Lecture Notes in Computer Science 3062 (2004) 479-485
17. Smith, B.C., "Reflection and Semantics in a Procedural Language," PhD Thesis, Massachusetts Institute of Technology, Cambridge, MA (1982), mIT-LCS-TR-272
18. Winter A., Kullbach B., and Riediger V. An overview of the GXL graph exchange language. In: Diehl S. (Ed). International Seminar on Software Visualization. Lecture Notes in Computer Science 2269 (2001) 324-336