An Environment for Object- oriented Conceptual Programming Based on PROT Nets

This paper presents PROTOB, an object-oriented Computer Aided Software Engineering system based on high level Petri nets called PROT nets. It consists of several tools supporting specification, modelling and prototyping activities within the framework of the operational software life cycle paradigm. As its major application area it addresses discrete event dynamic systems, such as process control systems and communication protocols.

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

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

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

[4]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1985 , 1985, Lecture Notes in Computer Science.

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

[6]  Manuel Silva Suárez,et al.  Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

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

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

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

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

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

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

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

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

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

[16]  Giorgio Bruno,et al.  Extending the Entity-Relationship Approach for Dynamic Modeling Purposes , 1986, ER.

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

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