分布式系统的要求与设计规范:升降机问题

[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI:10.1109/FTDCS.1988.26695

M. Broy

{"title":"分布式系统的要求与设计规范:升降机问题","authors":"M. Broy","doi":"10.1109/FTDCS.1988.26695","DOIUrl":null,"url":null,"abstract":"The author proposes a stepwise refinement through several levels of abstracting the design of distribution programs in a formal setting. A requirement specification is formulated, and a design specification is given and proved to guarantee the properties formulated in the requirement specification. On the basis of the design specification an abstract program is derived and proved. More machine-oriented optimized versions are obtained.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Requirements and design specification of distributed systems: the lift problem\",\"authors\":\"M. Broy\",\"doi\":\"10.1109/FTDCS.1988.26695\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The author proposes a stepwise refinement through several levels of abstracting the design of distribution programs in a formal setting. A requirement specification is formulated, and a design specification is given and proved to guarantee the properties formulated in the requirement specification. On the basis of the design specification an abstract program is derived and proved. More machine-oriented optimized versions are obtained.<<ETX>>\",\"PeriodicalId\":384536,\"journal\":{\"name\":\"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTDCS.1988.26695\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTDCS.1988.26695","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

作者提出了一个逐步细化的方法，通过几个层次的抽象，在一个正式的设置分配程序的设计。制定需求规范，给出并证明设计规范，以保证需求规范中制定的特性。在设计规范的基础上，推导并验证了抽象程序。获得了更多面向机器的优化版本。

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

查看原文本刊更多论文

Requirements and design specification of distributed systems: the lift problem

The author proposes a stepwise refinement through several levels of abstracting the design of distribution programs in a formal setting. A requirement specification is formulated, and a design specification is given and proved to guarantee the properties formulated in the requirement specification. On the basis of the design specification an abstract program is derived and proved. More machine-oriented optimized versions are obtained.<>

求助全文

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

来源期刊

[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s

自引率

0.00%

发文量