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

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