skip to main content
10.1145/1499949.1500099acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

A note on recoverability of modular systems

Published: 19 May 1975 Publication History

Abstract

In a paper by Gostelow-Van Weert, it was shown that any processes can be described by Petri-nets (PN). Thus PN can be used as a model in the design (or analysis) of any computer system. This approach makes it possible to utilize all the theoretic knowledge developed for PN and thus provides a powerful tool for computer systems (or program) design. In this case, the PN can be used as a framework that provides a tool for:
1. the understanding of the design,
2. handling the incremental changes of the design (without redesigning the entire system),
3. the implementation of desired properties (like recoverability in case of failures, proper termination, mutual exclusion, etc.), and
4. at least, the analysis of the program in order to check if it has the desired properties.

References

[1]
Gostelow, K. P. and T. J. Van Weert, "Processes and Networks," Stichting Academisch Rekencentrum Amsterdam, Postbus 7161, Amsterdam, the Netherlands, January 1974. (Author's present address: Department of Information and Computer Science, University of California, Irvine California 92664).
[2]
Gostelow, K. P., Flow of Control, Resource Allocation, and the Proper Termination of Programs, Ph.D. Dissertation, ENG-7179, Computer Science Department, University of California, Los Angeles, December 1971 (UCLA-10P14-106).
[3]
Merlin, Ph. M., Recoverability of Processes, Technical Report #44, Department of Information and Computer Science, University of California, Irvine, California 92664, February 1974.
[4]
Merlin, Ph. M., A Study on Recoverability of Processes, Technical Report #47, Department of Information and Computer Science, University of California, Irvine, California 92664, April 1974.
[5]
Merlin, Ph. M., The Time-Petri-Net and the Recoverability of Processes, Technical Report #48, Department of Information and Computer Science, University of California, Irvine, California 92664, May 1974.
[6]
Merlin, Ph. M., A Study on the Recoverability of Computing Systems, Ph.D. Dissertation, University of California, Irvine, in preparation for publication.
[7]
Merlin, Ph. M. and D. J. Farber, A Note on Recoverability of Modular Systems, Department of Information and Computer Science, University of California, Irvine, California 92664, June 1974.
[8]
Holt A. W., H. Saint, R. M. Shapiro and S. Warshall, Final Report for the Information System Theory Project, Rome Air Development Center (Applied Data Research Inc.) Contract #AF30(602)-4211, 450 Seventh Ave., New York, New York 10001, 1968.

Cited By

View all
  • (1979)Specification and Validation of ProtocolsIEEE Transactions on Communications10.1109/TCOM.1979.109432327:11(1671-1680)Online publication date: Nov-1979

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AFIPS '75: Proceedings of the May 19-22, 1975, national computer conference and exposition
May 1975
1019 pages
ISBN:9781450379199
DOI:10.1145/1499949
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • AFIPS: American Federation of Information Processing Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 May 1975

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)18
  • Downloads (Last 6 weeks)8
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (1979)Specification and Validation of ProtocolsIEEE Transactions on Communications10.1109/TCOM.1979.109432327:11(1671-1680)Online publication date: Nov-1979

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media