Abstract
This paper presents PROTOB, an object oriented language and methodology based on PROT nets, and the CASE environment that supports it. PROT nets integrate extended dataflows and Petri nets into an object oriented formalism. The CASE environment consists of several tools supporting specification, modelling and prototyping activities using the PROTOB language within the framework of the operational software life cycle paradigm. As its major application area it addresses distributed systems, such as real-time embedded systems, communication protocols and manufacturing control systems. The CASE environment automatically generates the distributed and object oriented implementation code in Ada or C providing advanced features such as multitasking and system distribution over a LAN. A model of a Flexible Manufacturing System and its production control software are analysed as a case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baldassari, M. and Bruno, G. An environment for object-oriented conceptual programming based on PROT nets. In Advances in Petri Nets. Lecture Notes in Computer Science No. 340, pp. 1–19. Berlin: Springer; 1988.
Bruno, G. and Marchetto, G. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. Software Engng SE-12: 356–357; 1986.
Ajmone, M., Barbetta, L. and Neri, F. A Petri net simulation model of HDLC. In TENCON 89, Bombay; November 1989.
Baldassari, M. and Bruno, G. Operational software engineering with PROTOB. In CASE 89, London; July 1989.
Baldassari, M., Bruno, G., Russi, V. and Zompi, R. PROTOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems. In European Software Engineering Conference 1989, Coventry; September 1989.
Zave, P. The operational versus the conventional approach to software development. Commun. ACM 27: 104–118; 1984.
Booch, G. Object oriented development. IEEE Trans. Software Engng SE-12: 211–221; 1986.
Booch, G. Software Engineering with Ada. New York: Benjamin Cummings.
HOOD Working Group. HOOD Reference Manual, Issue 3.0. The Netherlands: ESA, Noordwijk; September 1989.
HOOD Working Group. HOOD User Manual, Issue 3.0. The Netherlands: ESA, Noordwijk; December 1989.
IEEE Computer. Special issue on visual progamming; August 1985.
Balzer. R., Cheatham, T. E. and Green, C. Software technology in the 1990’s: Using a new paradigm. Computer 16: 39–45; November 1983.
Marco, De T. Structured Analysis and System Specification. Englewood Cliffs, NJ: Prentice-Hall; 1979.
Ward, P. T. and Mellor, S. J. Structured Development of Real-Time Systems, Vols 1–30. Yourdon Press; 1985.
Hatley, D. and Pirbhai, I. Strategies for Real-Time System Specification. Dorset House; 1987.
Reisig, W. Petri nets for software engineering. In Petri Nets: Applications and Relations to Other Models of Concurrency, pp. 63–96. Berlin: Springer; 1986.
Zave, P. An operational approach to requirement specification for embedded systems. IEEE Trans. Software Engng SE-8: 250–269; 1982.
Berzins, V. and Gray, M. Analysis and design in MSG.84: Formalizing functional specifications. IEEE Trans. Software Engng SE-11: 657–670; 1985.
IEEE Software. Special issue on CASE; March 1988.
Jensen, K. Coloured Petri nets and the invariant-method. Theoret. Comput. Sci. 14: 317–336; 1981.
Genrich, H. J. and Lautenbach, K. System modelling with high level Petri nets. Theoret. Comput. Sci. 13: 109–136; 1981.
Wheeler, G. R., Wilbur-Ham, M. C., Billington, J. and Gilmour, J. A. Protocol analysis using numerical Petri nets. In Advances in Petri nets 1985, pp. 435–452. Berlin: Springer; 1986.
Colom, J. M., Silva, M. and Villarroel, J. L. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc. Application and Theory of Petri Nets, pp. 207–241, Oxford; June 1986.
Nelson, R. A., Haibt, L. M. and Sheridan, P. B. Casting Petri nets into programs. IEEE Trans. Software Engng SE-9: 590–602; 1983.
Bruno, G. and Balsamo, A. Petri net-based object-oriented modelling of distributed systems. In ACM Conf. on Object-Oriented Programming, pp. 284–293, Portland, Oregon; October 1986.
Bruno, G. and Elia, A. Extending the entity-relationship approach for dinamic modelling purposes. In 5th International Conference on Entity-Relationship Approach, pp. 327–339, Dijon, France; November 1986.
Bruno, G. and Elia, A. Operational specification of process control systems: execution of PROT nets using OPS5. In 10th World IFIP Congress, pp. 35–40, Dublin; September 1986.
Brownston, L., Furrell, R. and Kant, E. Programming Expert Systems in OPS5. Reading, MA: Addison-Wesley; 1985.
Valette, R., Courvoisier, M. and Mayeux, D. Control of flexible production systems and Petri nets. In Informatik-Fachberichte 66: Application and Theory of Petri Nets, pp. 264–277. Berlin: Springer; 1983.
Martinez, J., Muro, P. and Silva, M. Modelling, validation and software implementation of production systems using high level Petri nets. In IEEE Int. Conf on Robotics and Automation, pp. 1180–1185, Raleigh, NC; March 1987.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Baldassari, M., Bruno, G. (1991). PROTOB: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems. In: Jensen, K., Rozenberg, G. (eds) High-level Petri Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84524-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-84524-6_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54125-7
Online ISBN: 978-3-642-84524-6
eBook Packages: Springer Book Archive