DocumentCode :
275736
Title :
Multiprogramming with ER nets
Author :
Strucl, J.
Author_Institution :
Maribor Univ., Yugoslavia
fYear :
1991
fDate :
16-18 Sep 1991
Firstpage :
221
Lastpage :
226
Abstract :
ER nets are an extension of Petri nets and suitable for finding solutions to a wide spectrum of problems. The author´s idea is to use ER nets not only in the early stages of software development (e.g. specification and simulation), but also for real application-execution. The author suggests the use of a virtual computer, based upon ER formalism, ensuring an adequate environment for the entire application life cycle. The reason for such a decision was the good results obtained in Tools Manager development (J. Strucl, 1990), within the framework of the NETwork project (M. Braga et al., 1990). The high-level Petri nets represent parallel tasks in a very intuitive way and thus are regarded as natural tools for solving a wide range of problems. The vision is an environment for the work with ER nets where these are used for problem specification, simulation, prototype building, for final program, support tools, the environment in which the individual stages are not separated, but they are intermingled and represent an entity. The prototype may thus at the same time be the final program, and specification also the documentation
Keywords :
Petri nets; formal specification; multiprogramming; programming environments; software prototyping; ER formalism; ER nets; NETwork project; Tools Manager development; application life cycle; environment relationship; execution; final program; high-level Petri nets; parallel tasks; problem specification; prototype building; real application; simulation; software development; specification; support tools; virtual computer;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
Type :
conf
Filename :
140076
Link To Document :
بازگشت