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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, Englewood Cliffs, N.J., 1985.
D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987.
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.
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.
D. Harel et al. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng., 16:403–14, April 1990.
T. Murata. Petri nets: properties, analysis and applications. Proc. IEEE, 77:541–80, April 1989.
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.
K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science, 14:317–36, 1981.
H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109–36, 1981.
C. Ramchandani. Analysis of Asynchronous Concurrent Systems by timed Petri Nets. PhD thesis, MIT, February 1974.
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.
M. Baldassari and G. Bruno. PROTOB: an object oriented methodology for developing discrete event dynamic systems. Comp. Lang., 16:39–63, January 1991.
G. Bruno. Model-based software engineering. Chapman & Hall, London, 1994.
K. Jensen and G. Rozenberg, editors. High-level Petri nets: theory and applications. Springer-Verlag, Berlin, 1991.
B. J. Cox. Object-oriented programming. Addison-Wesley, Reading, MA, 1986.
Author information
Authors and Affiliations
Editor information
Rights 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