Formal specification of CORBA services: Experience and lessons learned

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 10, 2000, Pages 105-117

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

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

Behavioral specification; CORBA; Distributed systems; High level Petri nets

Indexed keywords

EID: 17944382812     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/354222.353179     Document Type: Article

References (29)

1. 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.
2. 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.
3. Bastide, Rémi. "Objets Coopératifs : Un Formalisme Pour La Modélisation Des Systèmes Concurrents." Ph.D. thesis, Université Toulouse III (1992).
4. th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), Stanford university, California, USA. Kluwer (2000)
5. 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.
6. 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.
7. Diagne, Alioune. "Une Approche Multi-Formalismes De Spécification De Systèmes Répartis: Transformation De Composants Modulaires En Réseaux De Pétri." Université Paris 6 (1997).
8. 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)
9. EisenHauer, Greg, Bodhi Mukherjee, and Chris Codella. On the Implementation of CORBA Event Channels IBM T.J. Watson Research Center (1997).
10. th European Conference on Object-Oriented Programming, ECOOP"99, Lisbon, Portugal. (1999)
11. Gaudel, 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. Harel, David, and Gery, Eran. "Executable Object Modeling With Statecharts." IEEE Computer 30, no. 7 (1997) 31-42.
13. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97), Atlanta, GA, USA. New-York, ACM (1997) 184-200.
14. 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.
15. Kilov, Haïm, and William Harvey, editors. Object-Oriented Behavioral Specifications Kluwer Academic Publishers, Boston (1996).
16. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96), San Jose, CA, USA. New-York, ACM (1996) 150-167.
17. th International Conference on Application and Theory of Petri Nets, ICATPN'94, Zaragoza. Robert Valette, editor. Lecture Notes in Computer Science, no. 815. Berlin, Springer (1994) 338-57.
18. Liskov, Barbara, and Wing, Jeannette M. "A Behavioral Notion of Subtyping." ACM TOPLAS 16, no. 6 (1994) 1811-41.
19. Object Management Group. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 /98-02-01, Framingham, MA (1998).
20. _. Common Object Services Specification/98-07-05, Framingham, MA (1998).
21. _. Notification Service. Orbos/, Framingham, MA (1998).
22. Pickin, S, Sanchez, C., Yelmo, J.-C., Gil, J.-J. and Rodriguez, E. "Introducing Formal Notations in the Development of Object-Based Distributed Systems." IFIP TC6/WG6.1 First International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'96), Paris, France. Chapman & Hall, UK (1997)
23. Prinz, Andreas. "Describing Behaviour in Interfaces.", Paris, France. Elie Najm, and Jean-Bernard Stefani. Chapman & Hall, UK (1997)
24. Puntigam, Franz. "Types for Active Objects Based on Trace Semantics." Formal Methods for Open Object-Based Distributed Systems. Elie Najm, and Jean-Bernard Stefani, editors. Chapman & Hall (1997) 4-19.
25. Rational Software Corporation. UML Semantics. 1.1 ed.1997.
26. Schmidt, Douglas C., and Vinoski, Steve. "The OMG Events Service." SIGS C++ Report 9, no. 2 (1997)
27. Schmidt, Douglas C., and Vinoski, Steve. "Overcoming Drawbacks in the OMG Events Service." SIGS C++ Report 9, no. 6 (1997)
28. th International Conference on Application and Theory of Petri Nets, ICATPN'94, Zaragoza. Robert Valette, editor. Lecture Notes in Computer Science, no. 815. Berlin, Springer (1994) 471-90.
29. 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.