PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems

This paper presents PROTOB, an object-oriented CASE 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 distributed systems, such as real-time embedded systems, communication protocols and manufacturing control systems. The paper illustrates a case study involving the design of a distributed file system.

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

[2]  Yehoshua Sagiv.  Concurrent Operations on B*-Trees with Overtaking , 1986, J. Comput. Syst. Sci..

[3]  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.

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

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

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

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

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

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

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

[11]  S. B. Yao,et al.  Efficient locking for concurrent operations on B-trees , 1981, TODS.

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

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

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

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

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

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

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

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

[20]  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.

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