For the most recent entries see the Petri Nets Newsletter.

Ada-Based Executable Modelling of Distributed Systems.

Bruno, G.; Balsamo, A.

In: Tafvelin, S.: Ada-components: libraries and tools. Proceedings of the Ada-Europe International Conference, 1987, Stockholm, Sweden, pages 279-292. New York, NY: Cambridge University Press, 1987.

Abstract: This work presents a methodology for systems modeling based on PROT nets, which exploits the formal properties of the PROT graphical notation in a way that makes it suitable for use with automated techniques. Specifications created from a combination of PROT diagrams and textual input using Ada syntax are shown to be executable in the sense that compilable Ada source code can be produced from them. This approach exploits ``advanced tasking and structuring'' mechanisms of Ada. Emphasis is placed on object-oriented analysis and software reuse.

Keywords: Ada-based executable modelling; distributed systems modelling; PROT net; compilable Ada source code; object-oriented analysis.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography