Verification of distributed object-based systems

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

Volumn 2884, Issue , 2003, Pages 261-275

  Dotti, Fernando L ^b   Foss, Luciana ^a   Ribeiro, Leila ^a   Dos Santos, Osmar M ^b  

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

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; FORMAL METHODS; FORMAL SPECIFICATION; SPECIFICATION LANGUAGES; SPECIFICATIONS; VISUAL LANGUAGES;

ASYNCHRONOUS DISTRIBUTED SYSTEM; DISTRIBUTED OBJECTS; DISTRIBUTED SYSTEMS; FUNCTIONAL PROPERTIES; META LANGUAGE; OBJECT-BASED GRAPH GRAMMARS; OPEN ENVIRONMENT; PROMELA MODELS;

MODEL CHECKING;

EID: 0345412606     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39958-2_18     Document Type: Article

References (17)

1. M. Chechik and D. O. Pǎun. Events in property patterns. In 5th and 6th Int. SPIN Workshops, volume 1680 of LNCS, pages 154-167, Germany, 1999. Springer.
2. Seung Mo Cho et al. Applying model checking to concurrent object-oriented software. In 4th International Symposium on Autonomous Decentralized Systems, pages 380-383, Japan, 1999. IEEE Computer Society Press.
3. B. Copstein, M. O. Mora, and L. Ribeiro. An environment for formal modeling and simulation of control systems. In 33rd Annual Simulation Symposium, pages 74-82, USA, 2000. IEEE Computer Society.
4. F. L. Dotti, L. M. Duarte, B. Copstein, and L. Ribeiro. Simulation of mobile applications. In 2002 Communication Networks and Distributed Systems Modeling and Simulation Conference, pages 261-267, USA, 2002. The Society for Modeling and Simulation International.
5. 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, USA, 2002. Society for Design and Process Science.
6. F. L. Dotti and L. Ribeiro. Specification of mobile code systems using graph grammars. In 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, volume 177 of IFIP Conference Proceedings, pages 45-63, USA, 2000. Kluwer.
7. F. L. Dotti, O. M. Santos, and E. T. Rödel. On the use of formal specifications to analyze fault behaviors of distributed systems. In 1st Latin-American Symposium on Dependable Computing (accepted), LNCS, Germany, 2003. Springer.
8. H. Ehrig. Introduction to the algebraic theory of graph grammars. In 1st International Workshop on Graph Grammars and Their Application to Computer Science and Biology, volume 73 of LNCS, pages 1-69, Germany, 1979. Springer.
9. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
10. S. Leue and G. Holzmann. v-Promela: a visual, object oriented language for SPIN. In 2nd International Symposium on Object-Oriented Real-Time Distributed Computing, pages 14-23, France, 1999. IEEE Computer Society Press.
11. Johan Lilius and Ivan Porres Paltor. vUML: a tool for verifying UML models. In 14th International Conference on Automated Software Engineering, pages 255-258, USA, 1999. IEEE Computer Society Press.
12. A. B. Loreto, L. Ribeiro, and L. V. Toscani. Decidability and tractability of a problem in object-based graph grammars. In 17th IFIP World Computer Congress - Theoretical Computer Science, volume 223 of IFIP Conference Proceedings, pages 396-408, Canada, 2002. Kluwer.
13. L. Ribeiro and B. Copstein. Compositional construction of simulation models using graph grammars. In Application of Graph Transformations with Industrial Relevance (AGTIVE'99), volume 1779 of LNCS, pages 87-94, Germany, 2000. Springer.
14. G. Rozenberg, editor. Handbook of graph grammars and computing by graph transformation, volume 1: Foundations, Singapore, 1997. World Scientific.
15. C. Weise. An incremental formal semantics for PROMELA. In 3rd SPIN Workshop, The Netherlands, 1997.
16. Kirsten Winter and Roger Duke. Model checking object-Z using ASM. In 3rd International Conference on Integrated Formal Methods, volume 2335 of LNCS, pages 165-184, Germany, 2002. Springer.
17. Promela language reference. http://spinroot.com/spin/Man/promela.html, 2003.