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

fYear

1988

fDate

11-14 Apr 1988

Firstpage

16

Lastpage

25

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;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '88. 'Design: Concepts, Methods and Tools'

Conference_Location

Brussels

Print_ISBN

0-8186-0834-X

Type

conf

DOI

10.1109/CMPEUR.1988.4930

Filename

4930