PROTOB a hierarchical object-oriented CASE tool for distributed systems

  • Marco Baldassari
  • Giorgio Bruno
  • Vincenzo Russi
  • Roberto Zompi
Requirements Engineering
Part of the Lecture Notes in Computer Science book series (LNCS, volume 387)


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.


Distributed systems Executable specification Object-oriented design Petri nets PROT nets Rapid prototyping 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Baldassari, G. Bruno. An Environment for Object-Oriented Conceptual Programming Based on PROT nets. In Advances in Petri nets, Lecture Notes in Computer Science n.340, pages 1–19, Springer-Verlag, Berlin, 1988.Google Scholar
  2. [2]
    G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Soft. Eng., SE-12:346–357, February 1986.Google Scholar
  3. [3]
    W. Reisig. Petri nets for software engineering. In Petri Nets: Applications and relations to Other Models of Concurrency, pages 63–96, Springer-Verlag, Berlin, 1986.Google Scholar
  4. [4]
    P. Zave. The operational versus the conventional approach to software development. Comm. of the ACM, 27:104–118, February 1984.Google Scholar
  5. [5]
    G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211–221, February 1986.Google Scholar
  6. [6]
    IEEE Computer special issue on visual programming. August 1985.Google Scholar
  7. [7]
    R. Balzer, T.E. Cheatham, and C. Green. Software technology in the 1990's: using a new paradigm. Computer, 16:39–45, November 1983.Google Scholar
  8. [8]
    T. De Marco. Structured analysis and system specification. Prentice Hall, 1979.Google Scholar
  9. [9]
    D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House Publishing, 1987.Google Scholar
  10. [10]
    P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, 1985.Google Scholar
  11. [11]
    P. Zave. An operational approach to requirement specification for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250–269, May 1982.Google Scholar
  12. [12]
    V. Berzins and M. Gray. Analysis and design in MSG.84: formalizing functional specifications. IEEE Trans. on Soft. Eng., SE-11:657–670, August 1985.Google Scholar
  13. [13]
    IEEE Software special issue on CASE. March 1988.Google Scholar
  14. [14]
    K. Jensen. Coloured Petri nets and the invariant-method. Theoretical Comput. Sci., 14:317–336, 1981.Google Scholar
  15. [15]
    H.J. Genrich and K. Lautenbach. System modelling with high level Petri nets. Theoretical Comput. Sci., 13:109–136, 1981.Google Scholar
  16. [16]
    G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour. Protocol analysis using numerical Petri nets. In Advances in Petri nets 1985, pages 435–452, Springer-Verlag, Berlin, 1986.Google Scholar
  17. [17]
    J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc. Application and Theory of Petri Nets, pages 207–241, Oxford, June 1986.Google Scholar
  18. [18]
    R.A. Nelson, L.M. Haibt, and P.B. Sheridan. Casting Petri nets into programs. IEEE Trans. on Soft. Eng., SE-9:590–602, September 1983.Google Scholar
  19. [19]
    G. Bruno and A. Balsamo. Petri net-based object-oriented modeling of distributed systems. In ACM Conf. on Object-oriented Programming, pages 284–293, Portland Oregon, October 1986.Google Scholar
  20. [20]
    G. Bruno and A. Elia. Extending the entity-relationship approach for dinamic modeling purposes. In 5th International Conference On Entity-Relationship Approach, pages 327–339, Dijon, France, November 1986.Google Scholar
  21. [21]
    G. Bruno and A. Elia. Operational specification of process control systems: execution of PROT nets using OPS5. In 10th World IFIP Congress, pages 35–40, Dublin, September 1986.Google Scholar
  22. [22]
    L. Brownston, R. Furrell, and E. Kant. Programming expert systems in OPS5. Addison Wesley, 1985.Google Scholar
  23. [23]
    R. Valette, M. Courvoisier, and D. Mayeux. Control of flexible production systems and Petri nets. In Informatik-Fachberichte 66: Application and Theory of Petri nets, pages 264–277, Springer-Verlag, Berlin, 1983.Google Scholar
  24. [24]
    J. Martinez, P. Muro, and M. Silva. Modeling, validation and software implementation of production systems using high level Petri nets. In IEEE Int. Conf. on Robotics and Automation, pages 1180–1185, Raleigh NC, March 1987.Google Scholar
  25. [25]
    Y. Sagiv Concurrent operation on B-Tree with overtaking. In Journ. of computer and system science N.33, pages 275–296 1986.Google Scholar
  26. [26]
    P.L. Lehman, S.B. Yao Efficient locking for concurrent operation on B-trees. In ACM Trans. on database systems. vol.6, No. 4. Dec. 1981, pages 650–670.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Marco Baldassari
    • 1
  • Giorgio Bruno
    • 1
  • Vincenzo Russi
    • 2
  • Roberto Zompi
    • 2
  1. 1.Dipartimento di Automatica e InformaticaPolitecnico di TorinoTorinoItaly
  2. 2.Olivetti Systems & NetworksSoftware Engineering TeamIvreaItaly

Personalised recommendations