In: COMPEURO'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, 1990, Tel-Aviv, Israel, pages 509-517. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
Abstract: The application of PROTOB, an object-oriented CASE system based on high-level Petri nets, to rapid prototyping of distributed systems is presented. PROTOB consists of several tools supporting specification, modeling and prototyping activities. As its major application area it addresses distributed systems, such as communication protocols and manufacturing control systems. The PROTOB methodology and its support environment can be used in software development of distributed discrete-event dynamic systems. The functionality of the system can be formally defined and also analyzed quantitatively by building a PROT net based model, which is actually a simulation model.
Keywords: rapid prototyping; graphical operational specification; automated code generation; PROTOB, object-oriented computer aided software engineering system; high-level net; distributed system; prototyping; communication protocol; manufacturing control system; discrete-event dynamic system; PROT net; simulation.