Transparent object replication: a formal model

Author

Dechering, Paul ; De Jong, Edwin

Author_Institution

Hollandse Signaalapparaten, Hengelo, Netherlands

fYear

1999

fDate

1999

Firstpage

43

Lastpage

49

Abstract

Presents a formal object model in which the replication of components and recovery from crash failures are transparent. The model is based on concurrently executing objects that interact through a shared data space. We formally define the model by a denotational semantics in which the possible behaviours of an object are defined by a corresponding set of state transition traces. Using the semantics, we derive some fundamental algebraic properties of the model that reflect transparent replication and crash recovery

Keywords

algebraic specification; object-oriented databases; programming language semantics; replicated databases; software fault tolerance; system recovery; algebraic properties; component replication; concurrently executing objects; denotational semantics; formal model; shared data space; state transition traces; transparent crash failure recovery; transparent object replication; Application software; Availability; Computer crashes; Electrical capacitance tomography; Fault tolerance; Fault tolerant systems; Hardware; Mission critical systems; Read only memory; Safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-Time Dependable Systems, 1999. WORDS 1999 Fall. Proceedings. Fifth International Workshop on

Conference_Location

Monterey, CA

Print_ISBN

0-7695-0616-X

Type

conf

DOI

10.1109/WORDSF.1999.842332

Filename

842332