透明对象复制:形式化模型

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 1999-11-18 DOI:10.1109/WORDSF.1999.842332

P. Dechering, E. Jong

{"title":"透明对象复制:形式化模型","authors":"P. Dechering, E. Jong","doi":"10.1109/WORDSF.1999.842332","DOIUrl":null,"url":null,"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.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"92 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Transparent object replication: a formal model\",\"authors\":\"P. Dechering, E. Jong\",\"doi\":\"10.1109/WORDSF.1999.842332\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":416568,\"journal\":{\"name\":\"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems\",\"volume\":\"92 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-11-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WORDSF.1999.842332\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WORDSF.1999.842332","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

提出了一个形式化的对象模型，其中组件的复制和从崩溃故障中恢复是透明的。该模型基于通过共享数据空间进行交互的并发执行对象。我们通过指称语义正式定义模型，其中对象的可能行为由一组相应的状态转换轨迹定义。使用语义，我们推导了模型的一些基本代数属性，这些属性反映了透明复制和崩溃恢复。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Transparent object replication: a formal model

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems

自引率

0.00%

发文量