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

fYear

1988

Firstpage

208

Lastpage

212

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1988. Conference Proceedings., Seventh Annual International Phoenix Conference on

Conference_Location

Scottsdale, AZ

Print_ISBN

0-8186-0830-7

Type

conf

DOI

10.1109/PCCC.1988.10072

Filename

10072