A formal specification of the CORBA event service

IFIP Advances in Information and Communication Technology

Volumn 49 AICT, Issue , 2000, Pages 371-395

  Bastide, Rémi ^a   Sy, Ousmane ^a   Navarre, David ^a   Palanque, Philippe ^a  

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

behavioural specification; CORBA; Distributed systems; high level Petri nets

Indexed keywords

ANALYSIS TECHNIQUES; BUILDING BLOCKES; CORBA APPLICATIONS; DISTRIBUTED OBJECT SYSTEM; DISTRIBUTED SYSTEMS; EVENT SERVICE; FORMAL DESCRIPTION TECHNIQUES; FORMAL NOTATIONS; FORMAL SPECIFICATION; HIGH-LEVEL PETRI NETS; INTERFACE DEFINITION LANGUAGES; OBJECT MANAGEMENT GROUPS; OBJECT MODEL; OBJECT-ORIENTED MIDDLEWARE; REMOTE OBJECT; SOFTWARE SUPPORT;

COOPERATIVE COMMUNICATION; INTEROPERABILITY; PETRI NETS; SPECIFICATIONS;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA);

EID: 84868281513     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_19     Document Type: Conference Paper

References (20)

1. th International Conference on Application and Theory of Petri Nets, ICATPN'95, Torino, Italy. Gul Agha, and Fiorella De Cindio, organizers. (1995)
2. th International Conference on Application and Theory of Petri Nets, ICATPN'96, Osaka, Japan. Gul Agha, Fiorella De Cindio, and Akinori Yonezawa, editors. (1996)
3. Barbey, Stéphane, Buchs, Didier and Péraire, Cécile. "Overview and Theory for Unit Testing of Object-Oriented Software." Tagungsband "Qualitätsmanagement Der Objektorientierten Software-Entwicklung", Basel, Switzerland. (1996) 73-112.
4. Barbey, Stéphane, Buchs, Didier and Péraire, Cécile. "A Theory of Specification-Based Testing for Object-Oriented Software." European Dependable Computing Conference (EDDC2), Taormina, Italy. Lecture Notes in Computer Science, no. 1150. Springer-Verlag (1996) 303-20.
5. Bastide, Rémi. "Objets Coopératifs : Un Formalisme Pour La Modélisation Des Systèmes Concurrents." Ph.D. thesis, Université Toulouse III (1992).
6. th International Conference on Applications and Theory of Petri Nets, ICATPN'95, Torino, Italy. Giorgio De Michelis, and Michel Diaz, Volume editors. Lecture Notes in Computer Science, no. 935. Springer (1995) 66-83.
7. th International Conference on Applications and Theory of Petri Nets, ICATPN'99, Williarnsburg, VA, USA. Susanna Donatelli, and Jetty Kleijn, Volume editors. Lecture Notes in Computer Science, no. 1639. Springer (1999) 66-85.
8. th European Conference on Object-Oriented Programming, ECOOP'99, Lisbon, Portugal. Rachid Guerraoui, Volume editor. Lecture Notes in Computer Science, no. 1628. Springer (1999) 474-94.
9. Bastide, Rémi, Sy, Ousmane and Palanque, Philippe. "Formal Support for the Engineering of CORBA-Based Distributed Object Systems." IEEE International Symposium on Distributed Objects and Applications (DOA'99), Edinburgh, Scotland. IEEE Computer Society (1999) 264-72.
10. Diagne, Alioune, and Estraillier, Pascal. "Formal Specification and Design of Distributed Systems." IFIP TC6/WG6.1 First International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'96), Paris, France. Elie Najm, and Jean-Bernard Stefani. Chapman & Hall, UK (1997)
11. Gaudei, Marie-Claude. "Testing Can Be Formal, Too." TAPSOFT '95: Theory and Practice of Software Development. 6th International Joint Conference CAAP/FASE, Aarhus, Denmark. Lecture Notes In Computer Science, eds. G. Goos, J. Hartmanis, and J. van Leeuwen, no. 915. Springer Verlag, Heidelberg (1995) 82-126.
12. James, P. R., and Gaudel, Marie-Claude. "Testing Algebraic Data Types and Processes: a Unifying Theory." Formal Aspects of Computing 10, no. Special issue. Best papers of FMICS98 (1999) 436-51.
13. th International Conference on Application and Theory of Petri Nets, ICATPN'94. Lecture Notes in Computer Science, no. 815. Springer (1994) 338-57.
14. Liskov, Barbara, and Wing, Jeannette M. "A Behavioral Notion of Subtyping." ACM TOPLAS 16, no. 6 (1994) 1811-41.
15. Object Management Group. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 /98-02-01, Framingham, MA (1998).
16. -. Common Object Services Specification /98-07-05, Framingham, MA (1998).
17. th International Conference on Application and Theory of Petri Nets, ICATPN'94. Lecture Notes in Computer Science, no. 815. Springer (1994) 471-90.
18. Sy, Ousmane, and Rémi Bastide. Compte Rendu De Tests D'Une Sélection D'Implémentations Du COS Event Service. SERPICO/Lot 1/FOR3. Laboratoire LIHS - FROGIS, Université Toulouse I, 1999.
19. -. Correction De La Spécification Du COS Event Pour Le Modèle Push. SERPICO/Lot 1/FOR4. Laboratoire LIHS - FROGIS, Université Toulouse I, 1999.
20. th International Conference on Application and Theory of Petri Nets, ICATPN'97, Toulouse, France. Pierre Azéma, and Gianfranco Balbo, editors. Lecture Notes in Computer Science, no. 1248. Springer (1997) 62-81.