Title :
Execution of Ward´s transformation schema on the graphic specification and prototyping tool specs
Author :
Pulli, P. ; Dahler, J. ; Gisiger, H.-P. ; Kundig, A.
Author_Institution :
ETH, Zurich, Switzerland
Abstract :
The SPECS tool is a window-oriented, menu-driven net editor and an integrated simulator with animation support for high-level Petri nets, embedded in an object-oriented programming environment and extended with a hierarchical structuring facility. However, the use of the tool is not limited to Petri-net based specifications. It is possible to describe the basic modeling elements of other specification methods with Petri nets. The initial results of emulating the real-time structured analysis and structured design method on the SPECS environment are presented. The basic elements of the method are modeled as high-level Petri nets to meet the execution rules, known as the Ward transformation schema. The SPECS simulator is adapted to support the scheduling principle of those execution rules. The well-known cruise control system specification is presented in a form which allows its execution on the SPECS tool
Keywords :
computer graphics; programming environments; software tools; SPECS environment; SPECS simulator; SPECS tool; Ward transformation schema; animation support; cruise control system specification; execution rules; graphic specification; hierarchical structuring facility; high-level Petri nets; integrated simulator; menu-driven net editor; object-oriented programming environment; prototyping tool; real-time structured analysis; scheduling; structured design method; window-oriented; Analytical models; Animation; Design methodology; Graphics; Object oriented modeling; Object oriented programming; Petri nets; Power system modeling; Prototypes; Space technology;
Conference_Titel :
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location :
Brussels
Print_ISBN :
0-8186-0834-X
DOI :
10.1109/CMPEUR.1988.4930
