In: Ghezzi, C.; et al.: Lecture Notes in Computer Science, Vol. 387; ESEC'89. Proceedings of the 2nd European Software Engineering Conference, 1989, Coventry, UK, pages 424-445. Berlin: Springer-Verlag, 1989.
Abstract: The paper presents PRTOB, 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 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 sytems. The paper illustrates a case stuydy involving the design of a distributed file system.
Keywords: PROTOB; distributed system; object-oriented tool; high-level net; prototyping; distributed system; communication protocol.