Recoverability of modular systems

Philip M. Merlin, David Farber

研究成果: Paper査読

7 被引用数 (Scopus)

抄録

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.

本文言語English
ページ51-56
ページ数6
DOI
出版ステータスPublished - 1975 1 1
外部発表はい
イベント1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess communications - Santa Monica, United States
継続期間: 1975 3 241975 3 25

Conference

Conference1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess communications
国/地域United States
CitySanta Monica
Period75/3/2475/3/25

ASJC Scopus subject areas

  • コンピュータ ネットワークおよび通信

フィンガープリント

「Recoverability of modular systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル