Graphical object oriented executable specification for an automation oriented paradigm of software development

  • Vincenzo Russi
  • Roberto Zompi
Software Environments And User Interfaces
Part of the Lecture Notes in Computer Science book series (LNCS, volume 429)


This paper presents PROTOB, an object-oriented CASE system based on high level Petri nets called PROT nets. It consists of several tools supporting object oriented specification, symbolic computation, code generation within the framework of an automation oriented 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.


Automation oriented software process Visual Programming Executable specification symbolic computation Object-oriented design Petri nets PROT nets Rapid prototyping Real-time distributed systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    P. Zave. The operational versus the conventional approach to software development. Comm. of the ACM, 27:104–118, February 1984.Google Scholar
  3. [3]
    G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211–221, February 1986.Google Scholar
  4. [4]
    IEEE Computer special issue on visual programming. August 1985.Google Scholar
  5. [5]
    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
  6. [6]
    T. De Marco. Structured analysis and system specification. Prentice Hall, 1979.Google Scholar
  7. [7]
    D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House Publishing, 1987.Google Scholar
  8. [8]
    P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, 1985.Google Scholar
  9. [9]
    P. Zave. An operational approach to requirement specification for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250–269, May 1982.Google Scholar
  10. [10]
    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
  11. [11]
    IEEE Software special issue on CASE. March 1988.Google Scholar
  12. [12]
    K. Jensen. Coloured Petri nets and the invariant-method. Theoretical Comput. Sci., 14:317–336, 1981.Google Scholar
  13. [13]
    H.J. Genrich and K. Lautenbach. System modelling with high level Petri nets. Theoretical Comput. Sci., 13:109–136, 1981.Google Scholar
  14. [14]
    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
  15. [15]
    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
  16. [16]
    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
  17. [17]
    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
  18. [18]
    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
  19. [19]
    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
  20. [20]
    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
  21. [21]
    L. Brownston, R. Furrell, and E. Kant. Programming expert systems in OPS5. Addison Wesley, 1985.Google Scholar
  22. [22]
    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
  23. [23]
    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
  24. [24]
    Y. Sagiv Concurrent operation on B-Tree with overtaking. In Journ. of computer and system science N.33, pages 275–296 1986.Google Scholar
  25. [25]
    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
  26. [26]
    M.Baldassari G.Bruno V.Russi R.Zompi PROTOB A Hierarchical Object Oriented CASE tool for Distributed Systems In Lectures note in computer science: ESEC '89 Proceedings vol. 387 pag. 424–445Google Scholar
  27. [27]
    S. Shaler, S. Mellor Object Oriented Systems Analysis Yourdon Press computing series 1988, Prentice HallGoogle Scholar
  28. [28]
    J. Bigelow Hypertext and CASE In IEEE Software march 1988, pages 23–27.Google Scholar
  29. [29]
    P.Coad, E.Yourdon Object Oriented Analysis Yourdon Press computing series 1990, Prentice HallGoogle Scholar
  30. [30]
    R. Balzer Trasformational Implementation: An example. In IEEE transaction on software engineering Jan 1981, pages 3–14.Google Scholar
  31. [31]
    T.Taylor, T.A.Standish Initial thoughts on rapid prototyping techniques. In ACM SIGSOFT, software engineering notes Dec 1982, pages 160–166.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Vincenzo Russi
    • 1
  • Roberto Zompi
    • 1
  1. 1.Olivetti Systems & NetworksStandard Platform Division Case Technology GroupIvrea - TorinoItaly

Personalised recommendations