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.