Title :
Transparent object replication: a formal model
Author :
Dechering, Paul ; De Jong, Edwin
Author_Institution :
Hollandse Signaalapparaten, Hengelo, Netherlands
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;
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
DOI :
10.1109/WORDSF.1999.842332
