Formal notation and tool for the engineering of CORBA systems

Concurrency Practice and Experience

Volumn 12, Issue 14, 2000, Pages 1379-1403

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

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; INTEROPERABILITY; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SEMANTICS;

COMMON OBJECT REQUEST BROKER ARCHITECTURE; DISTRIBUTED OBJECT ORIENTED SYSTEMS; HIGH LEVEL PETRI NETS; INTERFACE DEFINITION LANGUAGE; OBJECT MANAGEMENT GROUP;

SYSTEMS ENGINEERING;

EID: 0034499476     PISSN: 10403108     EISSN: None     Source Type: Journal    
DOI: 10.1002/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B     Document Type: Article

References (37)

1. Object Management Group. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 orbos/98-02-01, Framingham, MA, 1998.
2. Siegel J. OMG overview: CORBA and the OMA in enterprise computing. Communications of the ACM 1998; 41(10):37-43.
3. Gaspari M, Zavattaro G. A process algebraic specification of the new asynchronous CORBA messaging service. 13th European Conference on Object-Oriented Programming, ECOOP'99, Lisbon, Portugal, June 14-18, 1999.
4. Vinoski S. New features for CORBA 3.0. Communications of the ACM 1998; 41(10):44-52.
5. Goguen JA, Thatcher JW, Wagner EG. An initial algebra approach to the specification, correctness and implementation of abstract data types. Current Trends in Programming Methodology, Yeh R (ed). Prentice-Hall: Englewood Cliffs, New Jersey, 1978; 80-149.
6. Object Management Group. Common Object Services Specification orbos/98-07-05. Framingham, MA, 1998.
7. Rüdiger V. Petri Nets as token objects: an introduction to elementary object nets. 19th International Conference on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998. Springer, 1998.
8. Lakos C, Keen CD. LOOPN++: a new language for object-oriented Petri nets. European Simulation Multiconference, Barcelona, Spain, June 1994.
9. Moldt D, Wienberg F. Multi-agent-systems based on coloured Petri nets. 18th International Conference on Application and Theory of Petri Nets, ICATPN'97, Toulouse France, June 1997 (Lecture Notes In Computer Science, no. 1248), Azéma P, Balbo G (eds.). Springer, 1997; 82-101.
10. Meyer B. Systematic concurrent object-oriented programming. Communications of the ACM 1993; 36(9):56-80.
11. Kilov H, Harvey W (eds.). Object-Oriented Behavioral Specifications. Kluwer Academic: Boston, MA, 1996.
12. Prinz A. Describing behaviour in interfaces. Formal Methods for Open Object-Based Distributed Systems, Najm E, Stefani J-B (eds.). Chapman & Hall: London, 1997; 36-43.
13. Sankar S. Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language. Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 (Lecture Notes In Computer Science, no. 1101), Wirsing M, Nivat M (eds.). Springer, 1996; 52-61.
14. Bryan D. Exactness and clarity in a component-based specification language. Object-Oriented Behavioral Specifications, Kilov H, Harvey W (eds.). Kluwer Academic: New-York, 1996; 1-15.
15. Guttag JV, Horning JJ, Garland SJ, Jones A, Wing JM. Larch: Languages and Tools for Formal Specification. Springer-Verlag: New-York, 1993.
16. Leavens GT, Yoonsik C. Extending CORBA IDL to Specify Behavior with LARCH. TR #93-20, Iowa State University, Department of Computer Science, 1995.
17. Sivaprasad GS. Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces. TR #95-27a, Iowa State University, Department of Computer Science, 1995.
18. Bryant A, Evans A. A formal basis for specifying object behaviour. Object-Oriented Behavioral Specifications, Kilov H, Harvey W (eds.). Kluwer Academic: New-York, 1996; 17-30.
19. Puntigam F. Types for active objects based on trace semantics. Formal Methods for Open Object-Based Distributed Systems, Najm E, Stefani J-B (eds.). Chapman & Hall: London, 1997; 4-19.
20. Harel D, Gery E. Executable object modeling with statecharts. IEEE Computer 1997; 30(7):31-42.
21. Rational Software Corporation. UML Notation Guide. 1.1 ed. 1997.
22. Rational Software Corporation. UML Semantics. 1.1 ed. 1997.
23. Agha G, De Cindio F. Workshop on object-oriented programming and models of concurrency. 16th International Conference on Application and Theory of Petri Nets, ICATPN'95, Torino, Italy, June 26-30, 1995. Gul Agha, and Fiorella De Cindio, organizers, 1995.
24. Agha G, De Cindio F, Yonezawa A. 2nd International workshop on object-oriented programming and models of concurrency. 17th International Conference on Application and Theory of Petri Nets, ICATPN'96, Osaka, Japan, 24 June 1996.
25. Bastide R, Palanque P. Modeling a groupware editing tool with cooperative objects. Concurrent Object-Oriented Programming and Petri Nets, Agha GA, De Cindio F, Rozenberg G (eds.). Springer-Verlag: Wien, 1998.
26. Bastide R. Objets coopératifs : un formalisme pour la modélisation des systèmes concurrents. PhD Thesis, Université Toulouse III, 1992.
27. Sibertin-Blanc C. Cooperative nets. 15th International Conference on Application and Theory of Petri Nets, ICATPN'94, Zaragoza, June 1994 (Lecture Notes in Computer Science, no. 815), Valette R (ed). Springer: Berlin, 1994; 471-90.
28. Peterson JL. Petri Net Theory and the Modeling of Systems. Prentice-Hall: Englewood Cliffs, New Jersey, 1981.
29. Jensen Kurt. Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use. (2nd edn.), vol. 2. Springer-Verlag: Berlin, 1996.
30. Genrich HJ, Lautenbach K. System modelling with high-level Petri nets. Theoretical Computer Science 1981; 13:109-36.
31. Lakos C, Christensen S. A general systematic approach to arc extensions for coloured Petri nets. 15th International Conference on Application and Theory of Petri Nets, ICATPN'94, Zaragoza, June 1994 (Lecture Notes in Computer Science, no. 815), Valette R (ed). Springer: Berlin, 1994; 338-57.
32. Desel J, Esparza J. Free Choice Petri Nets (Cambridge Tracts on Computer Science, vol. 40). Cambridge University Press: Cambridge, UK, 1995.
33. Ramamoorthy CV, Ho GS. Performance evaluation of asynchronous concurrent systems. IEEE Transactions of Software Enginnering 1980; 6(5):440-449.
34. Bastide R, Palanque P. A Petri-net based environment for the design of event-driven interfaces. 16th International Conference on Applications and Theory of Petri Nets, ICATPN'95, Torino, Italy, June 1995 (Lecture Notes in Computer Science, no. 935), De Michelis G, Diaz M (eds.). Springer: Heidelberg, 1995; 66-83.
35. van der Aalst WMP, Basten T. Life-cycle inheritance, a petri-net based approach. 18th International Conference on Application and Theory of Petri Nets, ICATPN'97, Toulouse, France, June 1997 (Lecture Notes in Computer Science, no. 1248), Azéma P, Balbo G (eds.). Springer, 1997; 62-81.
36. Merle P, Gransart C, Geib J-M, Laukien M. The CorbaScript language. ORBOS OMG Meeting on Scripting Languages, Helsinki, Finland, 27-31 July 1998, ftp://ftp.omg.org/pub/docs/orbos/98-07-02.pdf.
37. Netscape Communications Inc. CORBA Component Scripting OMG TC Revised Joint Submission. Orbos/98-07-02, Framingham, MA, 1998.