Specification and analysis of fault behaviours using graph grammars

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3062, Issue , 2004, Pages 120-133

  Dotti, Fernando Luis ^a   Ribeiro, Leila ^b   Santos, Osmar Marchi Dos ^a  

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

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; FORMAL METHODS; GRAPH THEORY; RANDOM ACCESS STORAGE; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ASYNCHRONOUS DISTRIBUTED SYSTEM; CRASH FAULTS; DISTRIBUTED SYSTEMS; FAILURE DETECTORS; GRAPH GRAMMAR; OBJECT-BASED GRAPH GRAMMARS; ORIGINAL MODEL; ORIGINAL SYSTEMS;

FORMAL SPECIFICATION;

EID: 35048874971     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25959-6_9     Document Type: Article

References (21)

1. B. Copstein, M. Mora, and L. Ribeiro. An environment for formal modeling and Simulation of control system. In Proc. of the 33rd Annual Simulation Symposium, pages 74-82. SCS, 2000.
2. B. Copstein and L. Ribeiro. Compositional Construction of Simulation Models using Graph Grammars. In Application of Graph Transformations with Industrial Relevance (AGTIVE'99), LNCS 1779, pages 87-94. Springer, 2000.
3. F. Cristian. A rigorous approach to Fault-Tolerant programming. IEEE Transactions on Software Engineering, 11(1):23-31, 1985.
4. F. Dotti and L. Ribeiro. Specification of mobile code systems using graph grammars. In S. Smith and C. Talcott, editors, Formal Methods for Open Object-based Systems IV, pages 45-64. Kluwer Academic Publishers, 2000.
5. F. L. Dotti, L.M. Duarte, B. Copstein, and L. Ribeiro. Simulation of Mobile Applications. In Communication Networks and Distributed Systems Modeling and Simulation Conference, pages 261-267. SCS International, 2002.
6. F. L. Dotti, L. M. Duarte, F. A. Silva, and A. S. Andrade. A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars. In 6th World Conference on Integrated Design & Process Technology, pages 1-9. SDPS, 2002.
7. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
8. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A Calculus of Mobile Agents. In 7th International Conference on Concurrency Theory, pages 406-421. Springer, 1996.
9. F. C. Gärtner. Specifications for Fault Tolerance: A Comedy of Failures. Technical Report TUD-BS-1998-03, Darmstadt University of Technology, Department of Computer Science, Germany, 1998.
10. F. C. Gärtner. Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Computing Surveys, 31(1):1-26, 1999.
11. V. Hadzilacos and S. Toueg. A Modular Approach to Fault-Tolerant Broadcasts and Related Problems. Technical Report TR94-1425, Cornell University, Department of Computer Science, Ithaca, NY, USA, 1994.
12. G.J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
13. P. Jalote. Fault Tolerance in Distributed Systems, pages 51-53. Prentice Hall, Englewood Cliffs, NJ, USA, 1994.
14. L. Lamport, R, Shostak, and M. Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382-401, 1982.
15. J.-C. Laprie. Dependable Computing and Fault Tolerance: Concepts and Terminology. In 15th International Symposium on Fault-Tolerant Computing, pages 2-11. IEEE Computer Society Press, 1985.
16. N. Lynch. Distributed Algorithms. Morgan Kauffman, 1996.
17. N. Lynch and M. Tuttle. An Introduction to Input/Output Automata. CWI-Quarterly, 3(2):219-246, 1989.
18. K. J. Perry and S. Toueg. Distributed Agreement in the Presence of Processor and Communication Faults. IEEE Transactions on Software Engineering, 12(3):477-482, 1986.
19. E. T. Rodel. Modelagem Formal de Falhas em Sistemas Distribufdos envolvendo Mobilidade (Formal Modeling of Faults in Distributed Systems with Code Mobility). Master's thesis, Pontiffcia Universidade Católica do Rio Grande do Sul, Porto Alegre, RS, Brasil, 2003.
20. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1997.
21. F. A. Silva. A Transaction Model based on Mobile Agents. PhD thesis, Technical University Berlin - FB Informatik, Berlin, Germany, 1999.