Prototyping object oriented specifications

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

Volumn 2679, Issue , 2003, Pages 473-482

  Al Shabibi, Ali ^a   Buchs, Didier ^a   Buffo, Mathieu ^a   Chachkov, Stanislav ^a   Chen, Ang ^a   Hurzeler, David ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; NETWORK COMPONENTS; OPEN SOURCE SOFTWARE; PETRI NETS; SPECIFICATIONS; WEB SERVICES;

CO-OPN SPECIFICATIONS; CODE GENERATION; CODE GENERATION TOOLS; CONCURRENT OBJECT-ORIENTED PETRI NETS; INTEGRATED DEVELOPMENT ENVIRONMENT; JAVA PROGRAM; OBJECT-ORIENTED SPECIFICATIONS; OPEN SOURCES;

CODES (SYMBOLS);

EID: 35248815906     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_30     Document Type: Article

References (14)

1. 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.
2. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism," Advances in Petri Nets on Object-Orientation, G. Agha and F. De Cindio and G. Rozenberg (Ed.), Lecture Notes in Computer Science, no. 2001, Springer-Verlag, May 2001, pp. 70-127.
3. Mathieu Buffo, Didier Buchs and Stanislav Chachkov, "CoopnTools a Toolkit for the support of CO-OPN," Proceedings of the Tools Demonstration of the 21th International Conference on Application and Theory of Petri Nets, Aahrus University, June 2000, pp. 2-6.
4. Stanislav Chachkov and Didier Buchs, "From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object-Oriented Petri Net Approach," International Conference on Application of Concurrency to System Design, Newcastle, IEEE Computer Society Press, June 2001, pp. 99-110.
5. Stanislav Chachkov and Didier Buchs, "Interfacing Software Libraries from Non-deterministic Prototypes," International Workshop on Rapid System Prototyping, July 1-3, 2002, Darmstadt, Germany
6. Mathieu Buffo and Didier Buchs, "A Coordination Model for Distributed Object Systems," Proceedings of the Second International Conference on Coordination Models and Languages COORDINATION'97, September 1997, Lecture Notes in Computer Science, vol. 1282, Springer-Verlag, 1997.
7. D. Buchs and M. Buffo, "Rapid Prototyping of Formally Modelled Distributed Systems," Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP99), Frances M. Titsworth (Ed.), IEEE, June 1999.
8. Stanislav Chachkov and Didier Buchs, "From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller," Rapid System Prototyping, Monterey, CA, IEEE Computer Society Press, June 2001, pp. 142-148.
9. K. Jensen, "Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use," Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.
10. Sibertin-Blanc, C. "Cooperative Nets" In Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 471-490. Springer-Verlag, 1994.
11. Robin Milner "Communicating and Mobile Systems: the -Calculus," Cambridge University Press, May 1999.
12. C.A.R. Hoare "Communicating Sequential Processes," Prentice Hall International Series in Computer Science, 1985.
13. Ulf Nilsson and Jan Maluszynski "Logic, Programming and Prolog (2ed)"
14. http://www.research.att.com/sw/tools/graphviz/