Verifying object-based graph grammars

Electronic Notes in Theoretical Computer Science

Volumn 109, Issue 1-4 SPEC. ISS., 2004, Pages 125-136

  Dos Santos, Osmar Marchi ^a   Dotti, Fernando Luís ^a   Ribeiro, Leila ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

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

Author keywords

Graph grammars; Model checking; Visualization of traces

Indexed keywords

AUTONOMOUS AGENTS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS;

GRAPH GRAMMARS; MODEL CHECKING; OBJECT-BASED GRAPH GRAMMARS (OBGG); VISUALIZATION OF TRACES;

GRAPHIC METHODS;

EID: 10444239471     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.061     Document Type: Conference Paper

References (16)

1. Chechik, M. and D. O. Pǎun, Events in property patterns, in: 5th and 6th International SPIN Workshops, LNCS 1680 (1999), pp. 154-167.
2. Copstein, B. and L. Ribeiro, Specifying simulation models using graph grammars, in: 10th European Simulation Symposium (1998), pp. 60-64.
3. Corbett, J. C. et al., Bandera: extracting finite-state models from Java source code, in: 22nd International Conference on Software Engineering (2000), pp. 439-448.
4. Demartini, C., R. Iosif and R. Sisto, Modeling and validation of Java multithreading applications using SPIN, in: 4th International SPIN Workshop, France, 1998.
5. Dotti, F. L., L. M. Duarte, B. Copstein and L. Ribeiro, Simulation of mobile applications, in: 2002 Communication Networks and Distributed Systems Modeling and Simulation Conference (2002), pp. 261-267.
6. Dotti, F. L., L. Foss, L. Ribeiro and O. M. Santos, Verification of object-based distributed systems, in: 6th International Conference on Formal Methods for Open Object-based Distributed Systems, LNCS 2884 (2003), pp. 261-275.
7. Dotti, F. L. and L. Ribeiro, Specification of mobile code systems using graph grammars, in: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, IFIP Conference Proceedings 177 (2000), pp. 45-63.
8. Dotti, F. L., L. Ribeiro and O. M. Santos, Specification and analysis of fault behaviours using graph grammars, in: 2nd International Workshop on Applications of Graph Transformations with Industrial Relevance, Lecture Notes in Computer Science 3062 (2003), pp. 120-133.
9. Havelund, K. and T. Pressburger, Model checking Java programs using Java pathfinder, Software Tools for Technology Transfer 2 (2000), pp. 366-381.
10. Holzmann, G. J., The model checker SPIN, IEEE Transactions on Software Engineering 23 (1997), pp. 279-295.
11. Leue, S. and G. Holzmann, ∨-Promela: a visual, object oriented language for SPIN, in: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (1999), pp. 14-23.
12. Lilius, J. and I. P. Paltor, vUML: a tool for verifying UML models, in: 14th International Conference on Automated Software Engineering (1999), pp. 255-258.
13. Mo Cho, S. et al., Applying model checking to concurrent object-oriented software, in: 4th International Symposium on Autonomous Decentralized Systems (1999), pp. 380-383.
14. Rozenberg, G., editor, "Handbook of graph grammars and computing by graph transformations, volume 1: foundations," World Scientific, 1997.
15. Varró, D., Towards symbolic analysis of visual modeling languages, Eletronic Notes in Theoretical Computer Science 72 (2003).
16. Winter, K. and R. Duke, Model checking Object-Z using ASM, in: 3rd International Conference on Integrated Formal Methods, LNCS 2335 (2002), pp. 165-184.