Factorizing fault tolerance

I. S.W.B. Prasetya; S. D. Swierstra

doi:10.1016/S0304-3975(01)00202-X

Factorizing fault tolerance

I. S.W.B. Prasetya^*
, S. D. Swierstra

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

This paper presents a theory of component based development for exception-handling in fault tolerant systems. The theory is based on a general theory of composition, which enables us to factorize the temporal specification of a system into the specifications of its components. This is a new development because in the past efforts to set up such a theory have always been hindered by the problem of composing progress properties.

Original language	English
Pages (from-to)	1201-1222
Number of pages	22
Journal	Theoretical Computer Science
Volume	290
Issue number	2
DOIs	https://doi.org/10.1016/S0304-3975(01)00202-X
Publication status	Published - 2 Jan 2003

Keywords

Compositionality
Fault tolerance
Formal methods

Access to Document

10.1016/S0304-3975(01)00202-X

Cite this

@article{d502428dfba440beab61951a14b29365,

title = "Factorizing fault tolerance",

abstract = "This paper presents a theory of component based development for exception-handling in fault tolerant systems. The theory is based on a general theory of composition, which enables us to factorize the temporal specification of a system into the specifications of its components. This is a new development because in the past efforts to set up such a theory have always been hindered by the problem of composing progress properties.",

keywords = "Compositionality, Fault tolerance, Formal methods",

author = "Prasetya, \{I. S.W.B.\} and Swierstra, \{S. D.\}",

year = "2003",

month = jan,

day = "2",

doi = "10.1016/S0304-3975(01)00202-X",

language = "English",

volume = "290",

pages = "1201--1222",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "2",

}

TY - JOUR

T1 - Factorizing fault tolerance

AU - Prasetya, I. S.W.B.

AU - Swierstra, S. D.

PY - 2003/1/2

Y1 - 2003/1/2

N2 - This paper presents a theory of component based development for exception-handling in fault tolerant systems. The theory is based on a general theory of composition, which enables us to factorize the temporal specification of a system into the specifications of its components. This is a new development because in the past efforts to set up such a theory have always been hindered by the problem of composing progress properties.

AB - This paper presents a theory of component based development for exception-handling in fault tolerant systems. The theory is based on a general theory of composition, which enables us to factorize the temporal specification of a system into the specifications of its components. This is a new development because in the past efforts to set up such a theory have always been hindered by the problem of composing progress properties.

KW - Compositionality

KW - Fault tolerance

KW - Formal methods

UR - https://www.scopus.com/pages/publications/0037413291

U2 - 10.1016/S0304-3975(01)00202-X

DO - 10.1016/S0304-3975(01)00202-X

M3 - Article

AN - SCOPUS:0037413291

SN - 0304-3975

VL - 290

SP - 1201

EP - 1222

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 2

ER -

Factorizing fault tolerance

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this