Title :
Petri FYI-an intelligent user-extensible system specification tool
Author :
Jorgensen, Paul C. ; Mills, Jonathan Wayne
Author_Institution :
Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
Abstract :
A description is given of Petri FYI, a systems specification tool based on the Petri-net model of computation, and suitable for design of concurrent systems. It allows the user to specify, manipulate and reason about systems as would an expert developer, using episodic and program-slice models. Petri FYI was implemented using PROLOG, which allowed rapid prototyping with predicate calculus as an executable specification language. System specification tools based on a declarative language inherit the advantages of the declarative language: ease of adaptive maintenance, user extensibility, and automatic generation of solutions to new problems without explicit programming by the user
Keywords :
computation theory; directed graphs; programming environments; specification languages; PROLOG; Petri FYI; Petri-net model of computation; concurrent systems design; declarative language; episodic models; executable specification language; intelligent user-extensible system specification tool; predicate calculus; program-slice models; systems specification tool; Automatic programming; Calculus; Computational modeling; Computer science; Concurrent computing; Databases; Intelligent systems; Milling machines; Power system modeling; Prototypes;
Conference_Titel :
Computers and Communications, 1988. Conference Proceedings., Seventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-0830-7
DOI :
10.1109/PCCC.1988.10072
