Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
P. Zave. The operational versus the conventional approach to software development. Comm. of the ACM, 27:104–118, February 1984.
G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211–221, February 1986.
IEEE Computer special issue on visual programming. August 1985.
R. Balzer, T.E. Cheatham, and C. Green. Software technology in the 1990's: using a new paradigm. Computer, 16:39–45, November 1983.
T. De Marco. Structured analysis and system specification. Prentice Hall, 1979.
D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House Publishing, 1987.
P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, 1985.
P. Zave. An operational approach to requirement specification for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250–269, May 1982.
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.
IEEE Software special issue on CASE. March 1988.
K. Jensen. Coloured Petri nets and the invariant-method. Theoretical Comput. Sci., 14:317–336, 1981.
H.J. Genrich and K. Lautenbach. System modelling with high level Petri nets. Theoretical Comput. Sci., 13:109–136, 1981.
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.
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.
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.
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.
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.
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.
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.
L. Brownston, R. Furrell, and E. Kant. Programming expert systems in OPS5. Addison Wesley, 1985.
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.
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.
Y. Sagiv Concurrent operation on B-Tree with overtaking. In Journ. of computer and system science N.33, pages 275–296 1986.
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.
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–445
S. Shaler, S. Mellor Object Oriented Systems Analysis Yourdon Press computing series 1988, Prentice Hall
J. Bigelow Hypertext and CASE In IEEE Software march 1988, pages 23–27.
P.Coad, E.Yourdon Object Oriented Analysis Yourdon Press computing series 1990, Prentice Hall
R. Balzer Trasformational Implementation: An example. In IEEE transaction on software engineering Jan 1981, pages 3–14.
T.Taylor, T.A.Standish Initial thoughts on rapid prototyping techniques. In ACM SIGSOFT, software engineering notes Dec 1982, pages 160–166.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Russi, V., Zompi, R. (1990). Graphical object oriented executable specification for an automation oriented paradigm of software development. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1990. Lecture Notes in Computer Science, vol 429. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52531-9_143
Download citation
DOI: https://doi.org/10.1007/3-540-52531-9_143
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52531-8
Online ISBN: 978-3-540-47014-4
eBook Packages: Springer Book Archive