By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Pulli, P.J. ; Inst. of Electron., ETH, Zurich, Switzerland

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

Published in:

Computer Languages, 1988. Proceedings., International Conference on

Date of Conference:

9-13 Oct 1988