Recoverability of modular systems

Philip M. Merlin, David Farber

Research output: Contribution to conferencePaper

7 Citations (Scopus)

Abstract

GOSTELOW-VAN WEERT, it was shown that processes can be described by Petri-nets (PN). In this note we will demonstrate a way of designing programs using Petri-nets as a way of describing the desired behavior. This approach makes it possible to utilize all the theoretic knowledge developed for PN and thus provides a powerful tool for program design. In an example of this approach we show how to design a recoverable program. This design is based on a study of recoverable PN's presented in [2], [3], [4] and [5]. In this note, we will not deal with the code itself, but with the structural organization of the programs. Our approach is based on an hierarchical, top-bottom, modular design. At each level a description of the desired system behavior is given. This description is then modeled by a PN and analyzed using the theory developed for PN's. This analysis allows one to check for, among other things, properties of the systems such as recoverability, proper termination, etc. These properties are inherently structural and not dependent on internal module semantics.

Original languageEnglish
Pages51-56
Number of pages6
DOIs
Publication statusPublished - 1975 Jan 1
Externally publishedYes
Event1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess communications - Santa Monica, United States
Duration: 1975 Mar 241975 Mar 25

Conference

Conference1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess communications
CountryUnited States
CitySanta Monica
Period75/3/2475/3/25

    Fingerprint

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this

Merlin, P. M., & Farber, D. (1975). Recoverability of modular systems. 51-56. Paper presented at 1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess communications, Santa Monica, United States. https://doi.org/10.1145/800272.810899