PROTOB: An object‐oriented case tool for modelling and prototyping distributed systems

The PROTOB object‐oriented methodology for the executable specification of large‐scale event‐driven systems is introduced and described. Two supporting features of PROTOB are also presented: the graphic and textual language that formally describes the behaviour of objects, which is based on high‐level Petri nets called “PROT nets” and which is demonstrated to be more powerful than SA/RT dataflows; and a CASE environment with tools for specification, modelling, simulation and prototyping. Use of PROTOB is illustrated by discussion of the automated generation of distributed systems running on a network of VMS and UNIX computers.

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

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

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

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

[5]  Giorgio Bruno,et al.  Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems , 1991, Comput. Lang..

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

[7]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

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

[9]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

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

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

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

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

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

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

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