Petri net based behavioural specification of CORBA systems

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

Volumn 1639, Issue , 1999, Pages 66-85

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

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

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

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; INTEROPERABILITY; PETRI NETS; SEMANTICS; SPECIFICATIONS; SYNTACTICS;

BEHAVIOURAL SPECIFICATIONS; DISTRIBUTED OBJECT SYSTEM; DISTRIBUTED SYSTEMS; HIGH-LEVEL PETRI NETS; NEUTRAL INTERFACE; OBJECT MANAGEMENT GROUPS; REMOTE OBJECT; SEMANTIC LEVELS;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA);

EID: 84958971309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_5     Document Type: Conference Paper

References (24)

1. Agha, Gul, and De Cindio, Fiorella. "Workshop on Object-Oriented Programming and Models of Concurrency." ICATPN'95, Torino, Italy, June 26-30, 1995. (1995)
2. Agha, Gul, De Cindio, Fiorella, and Yonezawa, Akinori. "2nd International Workshop on Object-Oriented Programming and Models of Concurrency." ICATPN'96, Osaka, Japan, June 24, 1996. (1996)
3. Bastide, Rémi. "Objets Coopératifs: Un Formalisme Pour La Modelisation Des Systemes Concurrents." Ph.D. thesis, Université Toulouse III (1992).
4. Bastide, Rémi, and Palanque, Philippe. "A Petri-Net Based Environment for the Design of Event-Driven Interfaces." ICATPN'95.LNCS no. 935. Springer (1995) 66-83.
5. Bastide, Rémi, and Palanque, Philippe. "Modeling a Groupware Editing Tool With Cooperative Objects." Concurrent Object-Oriented Programming and Petri Nets. Gul A. Agha, and Fiorella De Cindio, editors. Wien: Springer-Verlag (1998)
6. Desel, Jorg, and Javier Esparza. Free Choice Petri Nets. Cambridge Tracts on Computer Science, 40 Cambridge University Press (1995).
7. Gaspari, Mauro, and Zavattaro, Gianluigi. "A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service." ECOOP'99 (1999)
8. Goguen, J. A., Thatcher, J. W., and Wagner, E. G. "Current Trends in Programming Methodology." An Initial Algebra Approach to the Specijication, Correctness and Implementation of Abstract Data Types. Prentice-Hall (1978) 80-149.
9. Harel, David, and Gery, Eran. "Executable Object Modeling With Statecharts." IEEE Computer 30, no. 7 (1997) 31-42.
10. Jensen, Kurt. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. 2nd edition ed., Vol. 2 Springer-Verlag (1996).
11. Kilov, Haim, and William Harvey, editors. Object-Oriented Behavioral Specifications Kluwer Academic Publishers (1996).
12. Lakos, Charles. "A General Systematic Approach to Arc Extensions for Coloured Petri Nets." ICATPN'94, June 1994. LNCS no. 815. Springer (1994) 338-57.
13. Lakos, Charles, and Keen, C. D. "LOOPN++: a New Language for Object-Oriented Petri Nets." European Simulation Multiconference, Barcelona, Spain, June 1994. (1994)
14. Meyer, Bertrand. "Systematic Concurrent Object-Oriented Programming." Communications of the ACM 36, no. 9 (1993) 56-80.
15. Moldt, Daniel, and Wienberg, Franck. "Multi-Agent-Systems Based on Coloured Petri Nets." ICATPN'97, Toulouse France, June 1997. LNCS no. 1248. Springer (1997) 82-101.
16. Object Management Group. The Common Object Request Broker: Architecture and specification CORBA IIOP 2.2/98-02-01, Framingham, MA (1998).
17. Ramamoorthy, C. V., and Ho, G. S. "Performance Evaluation of Asynchronous Concurrent Systems." IEEE Transactions of Software Engineering 6, no. 5 (1980) 440-449.
18. Rational Software Corporation. UML Notation Guide. 1.1 ed.1997.
19. Rational Software Corporation. UML Semantics. 1.1 ed.1997.
20. Sibertin-Blanc, Christophe. "Cooperative Nets." ICATPN'94. LNCS 815. Springer (1994)
21. Siegel, Jon. "OMG Overview: CORBA and the OMA in Enterprise Computing." Communications of the ACM 41, no. 10 (1998) 37-43.
22. Sy, Ousmane, Bastide, Rémi, Palanque, Philippe, Le, Duc-Hoa, and Navarre, David. "PetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems." ICATPN'99, Williamsburg, VA, USA, June 21-25, 1999. (1999)
23. Valk, Rudiger. "Petri Nets As Token Objects: an Introduction to Elementary Object Nets." ICATPN'98, Lissabon, Portugal, June 1998. Springer (1998)
24. van der Aalst, W. M. P., and Basten, T. "Life-Cycle Inheritance, a Petri-Net Based Approach." ICATPN'97, LNCS no. 1248. Springer (1997) 62-81.