Skip to main content
SpringerLink
Log in

Prototyping Object Oriented Specifications

  • Conference paper
  • First Online:
Applications and Theory of Petri Nets 2003 (ICATPN 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2679))

Included in the following conference series:

Abstract

CoopnBuilder is an integrated development environment (IDE) for Concurrent Object Oriented Petri Nets (COOPN). It comes with a complete set of tools enabling the user to view, edit, check, simulate and generate code from CO-OPN specifications. The Code Generation tool allows the user to develop applications in an open way: the produced code can be integrated in larger projects or use existing libraries. The code generation will be emphasized in this paper, and we will focus on ease-of-use and extensibility. CoopnBuilder is an open-source Java program and can be downloaded from http://cui.unige.ch/smv

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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

    Google Scholar 

  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.

    Google Scholar 

  7. D. Buchs and M. Buffo, “Rapid Prototyping of Formally Modelled Distributed Systems,” Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP’99), Frances M. Titsworth (Ed.), IEEE, June 1999.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  11. Robin Milner “Communicating and Mobile Systems: the-Calculus,” Cambridge University Press, May 1999.

    Google Scholar 

  12. C.A.R. Hoare “Communicating Sequential Processes,” Prentice Hall International Series in Computer Science, 1985.

    Google Scholar 

  13. Ulf Nilsson and Jan Maluszynski “Logic, Programming and Prolog (2ed)”

    Google Scholar 

  14. http://www.research.att.com/sw/tools/graphviz/

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, 1015, Lausanne, Switzerland

    Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen & David Hurzeler

Authors
  1. Ali Al-Shabibi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Didier Buchs
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mathieu Buffo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Stanislav Chachkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ang Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. David Hurzeler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Al-Shabibi, A., Buchs, D., Buffo, M., Chachkov, S., Chen, A., Hurzeler, D. (2003). Prototyping Object Oriented Specifications. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation