Title :
A pragmatic formal method (PFM) for computer system definition and execution
Author :
White, Stephanie
Author_Institution :
Grumman Corp. Res. Center, Bethpage, NY, USA
Abstract :
The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of the major problems with Petri nets, i.e., a static Petri net structure of a large system is difficult to define. A formal extension of Petri nets called PFM-nets (nets of interacting PFM functions) is used to simulate system operation and support the development of a rapid prototype. PFM-nets can be generated (in theory) automatically from a PFM model of a target system. The PFM model and model execution are discussed
Keywords :
Petri nets; formal specification; software prototyping; PFM-nets; Petri nets; pragmatic formal method; rapid prototype; system definition; system execution; system operation; Analytical models; Computational modeling; Computer simulation; Erbium; Marine vehicles; Petri nets; Postal services; Power system modeling; Prototypes; Thyristors;
Conference_Titel :
Rapid System Prototyping, 1992. Shortening the Path from Specification to Prototype, 1992 International Workshop on
Conference_Location :
Research Triangle Park, NC
Print_ISBN :
0-8186-3520-7
DOI :
10.1109/IWRSP.1992.243913