Execution of structured analysis specifications with an object oriented Petri net approach

Author

Pulli, Petri J.

Author_Institution

Inst. of Electron., ETH, Zurich, Switzerland

fYear

1988

fDate

9-13 Oct 1988

Firstpage

286

Lastpage

293

Abstract

The dynamic behavior of the basic modeling elements of the real-time structured-analysis specification method has been defined with an object-oriented approach as a hierarchy of classes of Smalltalk-inscribed Petri nets. As a result of this definition, a given instance of a structured-analysis basic modeling element can be derived as an instance of the corresponding net class. These instances can be connected together to form an equivalent net to a given structured-analysis specification. A scheduling algorithm has been defined for Smalltalk-inscribed Petri nets meeting the execution rules for real-time structured analysis. This algorithm has also been implemented in the SPECS specification and prototyping environment, thus allowing the graphic execution of structured-analysis specifications

Keywords

Petri nets; formal specification; object-oriented programming; programming environments; real-time systems; SPECS; Smalltalk-inscribed Petri nets meeting; object oriented Petri net approach; prototyping environment; real-time structured-analysis specification method; scheduling algorithm; structured analysis specifications; Algorithm design and analysis; Automata; Data processing; Graphics; Object oriented modeling; Object oriented programming; Petri nets; Prototypes; Real time systems; Scheduling algorithm;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Languages, 1988. Proceedings., International Conference on

Conference_Location

Miami Beach, FL

Print_ISBN

0-8186-0874-9

Type

conf

DOI

10.1109/ICCL.1988.13076

Filename

13076