Skip to main content

CAB: An environment for developing concurrent application

  • Full Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1995 (ICATPN 1995)

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

Included in the following conference series:

Abstract

The development of concurrent applications, which consist of several parallel, often distributed, activities that communicate and synchronize with each other, presents challenging logical and technological issues.

In the common practice, technological aspects, which are related to the definition of concurrent processes as well as of their interactions, often place constraints on the logical ones. Consequently, the flexibility that could be attained during design is reduced and, further, an actual implementation where both aspects are deeply intermixed is usually obtained. This paper first presents an expressive and flexible language based on object-oriented high-level nets, which allows designers to naturally represent concurrency and synchronization. Then, it illustrates a powerful software engineeering environment, CAB (Concurrent Applications Builder), which supports the building and the simulation/animation of models as well as the automatic generation of applications from models (by transforming the model's objects into implementation processes). A case study from an actual project is illustrated.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, Englewood Cliffs, N.J., 1985.

    Google Scholar 

  2. D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987.

    Google Scholar 

  3. Derek Coleman and David Skov. Analysis and design for concurrent object system. In Proceedings of the 6th International Conference on Software Engineering and its Applications, pages 471–483, November 15–19 1993.

    Google Scholar 

  4. Hassan Gomaa. Structuring criteria for real time system design. In Proceedings of the 11th International Conference on Software Engineering, pages 290–301, May 15–18 1989.

    Google Scholar 

  5. D. Harel et al. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng., 16:403–14, April 1990.

    Google Scholar 

  6. T. Murata. Petri nets: properties, analysis and applications. Proc. IEEE, 77:541–80, April 1989.

    Google Scholar 

  7. K. Jensen. Coloured Petri nets: a high level language for system design and analysis. In K. Jensen and G. Rozenberg, editors, High-level Petri nets: theory and applications, pages 44–119. Springer-Verlag, Berlin, 1991.

    Google Scholar 

  8. K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science, 14:317–36, 1981.

    Article  Google Scholar 

  9. H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109–36, 1981.

    Article  Google Scholar 

  10. C. Ramchandani. Analysis of Asynchronous Concurrent Systems by timed Petri Nets. PhD thesis, MIT, February 1974.

    Google Scholar 

  11. G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. Softw. Eng., 12:346–57, February 1986.

    Google Scholar 

  12. M. Baldassari and G. Bruno. PROTOB: an object oriented methodology for developing discrete event dynamic systems. Comp. Lang., 16:39–63, January 1991.

    Google Scholar 

  13. G. Bruno. Model-based software engineering. Chapman & Hall, London, 1994.

    Google Scholar 

  14. K. Jensen and G. Rozenberg, editors. High-level Petri nets: theory and applications. Springer-Verlag, Berlin, 1991.

    Google Scholar 

  15. B. J. Cox. Object-oriented programming. Addison-Wesley, Reading, MA, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Giorgio De Michelis Michel Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bruno, G., Agarwal, R., Castella, A., Pescarmona, M.P. (1995). CAB: An environment for developing concurrent application. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-60029-9_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60029-9

  • Online ISBN: 978-3-540-49408-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics