• 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