Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems

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.

[1]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[2]  Jonathan Billington,et al.  Protocol analysis using numerical Petri nets , 1985, Applications and Theory in Petri Nets.

[3]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[4]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[5]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

[6]  Marco Ajmone Marsan,et al.  A Petri net simulation model of HDLC , 1989, Fourth IEEE Region 10 International Conference TENCON.

[7]  Giorgio Bruno,et al.  An Environment for Object- oriented Conceptual Programming Based on PROT Nets , 1987, European Workshop on Applications and Theory of Petri Nets.

[8]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[9]  Valdis Berzins,et al.  Analysis and Design in MSG.84: Formalizing Functional Specifications , 1985, IEEE Transactions on Software Engineering.

[10]  Giorgio Bruno,et al.  Petri Net-Based Object-Oriented Modeling of Distributed Systems , 1986, OOPSLA.

[11]  Elaine Kant,et al.  Programming expert systems in OPS5 , 1985 .

[12]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

[13]  Giorgio Bruno,et al.  PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems , 1989, ESEC.

[14]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[15]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[16]  Marc Courvoisier,et al.  Control of Flexible Production Systems and Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[17]  Pamela Zave,et al.  An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.

[18]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[19]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[20]  Giorgio Bruno,et al.  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.