Checking asynchronously communicating components using symbolic transition systems

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

Volumn 3291, Issue , 2004, Pages 1502-1519

  Maréchal, Olivier ^a   Poizat, Pascal ^b   Royer, Jean Claude ^b  

^a ECOLE DES MINES DE NANTES   (France)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INTERNET; MULTI AGENT SYSTEMS; SEMANTIC WEB; SEMANTICS;

COMMUNICATING COMPONENTS; COMPONENT LANGUAGE; COMPONENT REUSE; DISTRIBUTED SYSTEMS; INTERFACE DESCRIPTION LANGUAGES; PROTOCOL LANGUAGES; SYMBOLIC TRANSITION SYSTEMS; SYNCHRONOUS COMMUNICATIONS;

DISTRIBUTED DATABASE SYSTEMS;

EID: 33646148301     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30469-2_42     Document Type: Article

References (36)

1. The Fractal Composition Framework, June 2002. www.objectweb.org.
2. Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, and Yassine Lakhnech. Verification of infinite-state systems by combining abstraction and reachability analysis. In Nicolas Halbwachs and Doron Peled, editors, Compliter-Aided Verification, CAV '99, volume 1633 of Lecture Notes in Computer Science, pages 146-159, Trento, Italy, July 1999. Springer-Verlag.
3. M. Aiguier, F. Barbier, and P. Poizat. A Logic with Temporal Glue for Mixed Specifications. In FOCLASA'2003 - Foundations of Coordination Languages and Software Architectures, volume 97 of Electronic Notes in Theoretical Computer Science, pages 155-174. Springer-Verlag, 2005.
4. Jonathan Aldrich, Craig Chambers, and David Notkin. ArchJava: connecting software architecture to implementation. In Proceedings of the 24th International Conference on Software Engineering (ICSE-02), pages 187-197. ACM Press, 2002.
5. Robert Allen, Remi Douence, and David Garlan. Specifying and Analyzing Dynamic Software Architectures. In Proceedings of the 1998 Conference on Fundamental Approaches to Sofware Engineering (FASE'98), volume 1382 of Lecture Notes in Computer Science, pages 21-37. Springer-Verlag, 1998.
6. André Arnold, G. Point, Alain Griffault, and Antoine Rauzy. The altarica formalism for describing concurrent systems. FUNDINF: Fundamenta Infonnatica, 34:109-124, 2000.
7. André Arnold. Finite Transition Systems. International Series in Computer Science. Prentice-Hall, 1994.
8. E. Astesiano, B.Krieg-Bruckner, and H.-J. Kreowski Eds., editors. Algebraic Foundations of System Specification. IFIP State-of-the-Art Reports. Springer Verlag, 1999. ISBN 3-540-63772-9.
9. Christian Attiogbé, Pascal Poizat, and Gwen Salaün. Integration of Formal Datatypes within State Diagrams. In FASE'2003 - Fundamental Approaches to Software Engineering, volume 2621 of Lecture Notes in Computer Science, pages 344-355. Springer-Verlag, 2003.
10. Françoise Baude, Denis Caromel, and Matthieu Morel. From Distributed Objects to Hierarchical Grid Components. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2003: Coopis, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, pages 1226-1242. Springer-Verlag, 2003.
11. J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.
12. Daniel Brand and Pitro Zafiropulo. On communicating finite-state machines. Journal of the ACM, 30(2):323-342, April 1983.
13. Muffy Calder, Savi Maharaj, and Carron Shankland. A Modal Logic for Full LOTOS Based on Symbolic Transition Systems. The Computer Journal, 45(1):55-61, 2002.
14. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. A Global Semantics for Views. In T. Rus, editor, International Conference on Algebraic Methodology And Software Technology, AMAST'2000, volume 1816 of Lecture Notes in Computer Science, pages 165-180. Springer Verlag, 2000.
15. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan. In Proceedings of the 8th Asia-Pacific Software Engineering Conference, APSEC'2001, pages 169-176. IEEE, 2001.
16. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. In Heinrich Hussmann, editor, Fundamental Approaches to Sofavare Engineering. 4th International Conference, FASE 2001, volume 2029 of LNCS, pages 124-139. Springer, 2001.
17. Wolfgang Emmerich and Nima Kaveh. F2: Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model. In Volker Gruhn, editor, Proceedings of the Joint 8th European Soffivare Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Sofhvare Engeneering (ESEC/FSE-01), volume 26, 5 of SOFTWARE ENGINEERING NOTES, pages 311-312. ACM Press, 2001.
18. W. O. D. Griffioen and H. P. Korvcr. The bakery protocol: A comparative case-study in formal verification. In J. C. van Vliet, editor, CSN'95 (Computer Science in the Netherlands), pages 109-121. Stichting Mathematisch Centrum, 1995.
19. Jan Frisco Groote, François Monin, and Jan van de Pol. Checking Verifications of protocols and Distributed Systems by Computer. In David Sangiorgi and Robert de Simone, editors, CONCUR'98, volume 1466 of Lecture Notes in Computer Science, pages 629-655. Springer-Verlag, 1998.
20. David Harel. Statecharts: A visual formulation for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
21. M. Hennessy and H. Lin. Symbolic Bisimulations. Tfieoretical Computer Science, 138(2):353-389, 1995.
22. A. Ingolfsdottir and H. Lin. A Symbolic Approach to Value-passing Processes, chapter Handbook of Process Algebra. Elsevier, 2001.
23. Thierry Jéron and Claude Jard. Testing for unboundedness of fifo channels. Theoretical Computer Science, 113:93-117, 1993.
24. Tomáš Kalibera and Petr Tuma. Distributed Component System Based on Architecture Description: The SOFA Experience. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2002: Coopis, DOA, and ODBASE, volume 2519 of Lecture Notes in Computer Science, pages 981-994. Springer Verlag, 2002.
25. Stefan Leue, Richard Mayr, and Wei Wei. A scalable incomplete test for the boundedness of uml rt models. In TACAS 2004, volume 2988 of Lecture Notes in Computer Science, pages 327-341. Springer-Verlag, 2004.
26. David C. Luckham, John L. Kenney, Larry M. Augustin, James Vera, Doug Bryan, and Walter Mann. Specification and analysis of system architecture using rapide. IEEE Transactions on Sofnvare Engineering, 21(4):336-355, 1995.
27. Olivier Maréchal, Pascal Poizat, and Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. Technical Report 04-06, Ecoles des Mines de Nantes, 2004. http : //www.emu.fr/x-info/ jroyer, extended version of the DOA'2004 paper.
28. Nenad Medvidovic and Richard N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, 2000.
29. Tadao Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
30. Jacques Noyé, Sébastian Pavel, and Jean-Claude Royer. A PVS Experiment with Asynchronous Communicating Components. In 17th Workshop on Algebraic Development Techniques, Barcelona, Spain, 2004. www.emn.fr/x-info/ jroyer/rrWADT04.pdf.gz.
31. Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Formal Methods for Component Description, Coordination and Adaptation. In WCAT'2004 - Int. Workshop on Coordination and Adaptation Techniques for Software Entities, 2004.
32. J. Romkey. SLIP Protocol Specification. Web document. www.faqs.org/ftp/rfc/pdf/rfc1055.txt.pdf.
33. Jean-Claude Royer. The GAT Approach to Specify Mixed Systems. Informatica, 27(1):89-103, 2003.
34. Jean-Claude Royer. A framework for the gat temporal logic. In ISCA, editor, Proceedings of the 13th IASSE'04 Conference, 2004.
35. Jean-Claude Royer and Michael Xu. Analysing Mailboxes of Asynchronous Communicating Components. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2003: Coopis, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, pages 1421-1438. Springer Verlag, 2003.
36. Gregor von Bochmann. A General Transition Model for Protocols and Communication Services. IEEE Transactions on Communications, 28(4):643-650, April 1980.