Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way

EW 4 Pub Date : 1990-09-03 DOI:10.1145/504136.504184

F. Cindio, C. Simone

{"title":"Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way","authors":"F. Cindio, C. Simone","doi":"10.1145/504136.504184","DOIUrl":null,"url":null,"abstract":"In his paper 'Beyond Programming Languages' T. Winograd [1] claims that for modelling complex systems sometimes one needs a temporary suppression of details. In particular, he focuses his attention on the need of a clear distinction between the \"normal\" behaviour of a system, and its more complex behaviour for handling exceptions and possible faults. That is, the relative simplicity of the specification of the first one should not be overloaded with all the details necessary for handling erroneus situations. We also have realized recently the usefulness of such guidelines when we have undertaken the specification and modelling of some case studies in the framework of the ESPRIT BRA #3148 DEMON (DEsign Methods based On Nets). The considered systems [2] are composed of distributed components which synchronize their behaviour to do the job: examples are a Telephon Switching System, a Flexible Manifacturing System, the Lift and the Distributed Termination Problem. Once more we have found that the problem descriptions in general mix the specification of the routine (or normal or standard) cases with the specification of some exceptions and with the requirement of handling possible faults of some system components. This mix makes the","PeriodicalId":130392,"journal":{"name":"EW 4","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"EW 4","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/504136.504184","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

Abstract

In his paper 'Beyond Programming Languages' T. Winograd [1] claims that for modelling complex systems sometimes one needs a temporary suppression of details. In particular, he focuses his attention on the need of a clear distinction between the "normal" behaviour of a system, and its more complex behaviour for handling exceptions and possible faults. That is, the relative simplicity of the specification of the first one should not be overloaded with all the details necessary for handling erroneus situations. We also have realized recently the usefulness of such guidelines when we have undertaken the specification and modelling of some case studies in the framework of the ESPRIT BRA #3148 DEMON (DEsign Methods based On Nets). The considered systems [2] are composed of distributed components which synchronize their behaviour to do the job: examples are a Telephon Switching System, a Flexible Manifacturing System, the Lift and the Distributed Termination Problem. Once more we have found that the problem descriptions in general mix the specification of the routine (or normal or standard) cases with the specification of some exceptions and with the requirement of handling possible faults of some system components. This mix makes the

查看原文本刊更多论文

以模块化和增量方式建模容错分布式系统的Petri网

在他的论文《超越编程语言》中，T. Winograd[1]声称，对于复杂系统的建模，有时需要暂时抑制细节。特别是，他将注意力集中在系统的“正常”行为与处理异常和可能的故障的更复杂的行为之间的明确区分的必要性上。也就是说，第一个规范的相对简单性不应该包含处理错误情况所需的所有细节。当我们在ESPRIT br# 3148 DEMON(基于网络的设计方法)框架中进行一些案例研究的规范和建模时，我们也意识到这些指导方针的有用性。所考虑的系统[2]由分布式组件组成，这些组件同步其行为以完成工作:例如电话交换系统，柔性制造系统，升降机和分布式终端问题。我们再次发现，问题描述通常将常规(或正常或标准)情况的说明与一些异常的说明以及处理某些系统组件可能出现的故障的要求混合在一起。这种混合使

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

求助全文

约1分钟内获得全文求助全文

来源期刊

EW 4

自引率

0.00%

发文量