From formal specifications to ready-to-use software components: The concurrent object oriented Petri net approach

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2001-January, Issue , 2001, Pages 99-110

  Chachkov, S ^a   Buchs, D ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL SPECIFICATION; JAVA PROGRAMMING LANGUAGE; MODELING LANGUAGES; PETRI NETS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYSTEMS ANALYSIS;

ALGEBRAIC PETRI NETS; CO-OPN SPECIFICATIONS; COMPONENT ARCHITECTURES; CONCURRENT OBJECTS; DISTRIBUTED SYSTEMS; JAVA BEANS COMPONENTS; OBJECT-ORIENTED IMPLEMENTATION; PROCEDURAL LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 40349110120     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2001.981768     Document Type: Conference Paper

References (17)

1. R. Ben-Natan, "CORBA: a Guide to Common Object Request Broker Architecture", MacGraw-Hill, 1995.
2. Didier Buchs and Nicolas Guelfi, "A Formal Specification Framework for Object-Oriented Distributed Systems," IEEE TSE, vol. 26, no. 7, July 2000, pp. 635-652.
3. G. Weikum, "Principles and Realization Strategies of Multilevel Transaction Management", ACM Transactions of Database Systems, Vol 16, No 1, pp 132-180, 1991.
4. J.E.B. Moss, "Nested Actions: an Approach to Reliable Distributed Computing", PhD thesis, Technical Report MIT/LCS/TR-260, MIT Laboratory for Computer Science, 1981.
5. Olivier Biberstein, Didier Buchs, and Nicolas Guelfi. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In G. Agha and F. De Cindioand G.Rozenberg, editors, Advances in Petri Nets on Object-Orientation, LNCS. Springer-Verlag, 2001.
6. Didier Buchs and Mathieu Buffo. Rapid prototyping of formally modelled distributed systems. In Frances M. Titsworth, editor, Proc. of the Tenth International Workshop on Rapid System Prototyping RSP'99. IEEE, june 1999.
7. Mathieu Buffo. Experiences in coordination programming. In Proc. of the workshops of DEXA'98 (Int. Conf. on Database and Expert Systems Applications). IEEE , aug 1998.
8. Christine Choppy and Stéphane Kaplan. Mixing abstract and concrete modules: Specification, development and prototyping. In 12th International Conference on Software Engineering, pages 173-184, Nice, March 1990.
9. Didier Buchs and Jarle Hulaas. Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets. In Proceedings of the Int. Conf. on Systems, Man and Cybernetics, Beijing, China, October 1996. IEEE.
10. Ph. Schnoebelen. Refined compilation of pattern-matching for functionnal languages. Science of Computer Programming, pages 11:133-159, 1988.
11. Olivier Biberstein and Didier Buchs. Structured algebraic nets with object-orientation. In Proc.of the first int. workshop on "Object-Oriented Programming and Models of Concurrency" within the 16th Int. Conf. on Application and Theory of Petri Nets, Torino, Italy, June 26-30 1995.
12. Sun Microsystems: Enterprise Java Beans Spec, V2.0 (October 2000).
13. Sun Microsystems: JavaBeans spec. v1.01 (July, 1997).
14. Mathieu Buffo and Didier Buchs. A coordination model for distributed object systems. In Proc. of the Second Int. Conf. on Coordination Models and Languages COORDINATION'97, vol. 1282 of LNCS, pp. 410-413. Springer , 1997.
15. Nicholas Carriero and David Gelernter. How to Write Parallel Programs. MIT Press, Cambridge and London, 1990.
16. Jeff Kramer, Jeff Magee, Morris Sloman, and Naranker Dulay. Configuring object-based distributed programs in rex. IEEE Software Engineering Journal, 7(2):139-149, 1992.
17. D.H.D.Warren, L.M.Pereira, F.C.N.Pereira. Prolog - The Language and its Implementation Compared with LISP. In ACM SIGPLAN Notices, Vol. 12, No. 8, pp 109-115, 1977.