关于组件接口精确规范的限制

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-10-01 DOI:10.1109/WORDS.2003.1267486

H. Kopetz, N. Suri

{"title":"关于组件接口精确规范的限制","authors":"H. Kopetz, N. Suri","doi":"10.1109/WORDS.2003.1267486","DOIUrl":null,"url":null,"abstract":"When trying to find solutions in a problem domain it is a rational step to first explore the limits of the design space. If, during such an endeavor, an impossibility result is encountered, then the further search space can be selectively scoped for solutions to avoid dead-end avenues. With such a perspective, it is the objective of this contribution to outline and discuss the limits of the precise specification of component interfaces in component-based computing systems. Our interest lies in ascertaining limits covers issues of functional composition and verification. Equally importantly, we provide a rationale behind the causes of the limits and impossibility conditions.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"On the limits of the precise specification of component interfaces\",\"authors\":\"H. Kopetz, N. Suri\",\"doi\":\"10.1109/WORDS.2003.1267486\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"When trying to find solutions in a problem domain it is a rational step to first explore the limits of the design space. If, during such an endeavor, an impossibility result is encountered, then the further search space can be selectively scoped for solutions to avoid dead-end avenues. With such a perspective, it is the objective of this contribution to outline and discuss the limits of the precise specification of component interfaces in component-based computing systems. Our interest lies in ascertaining limits covers issues of functional composition and verification. Equally importantly, we provide a rationale behind the causes of the limits and impossibility conditions.\",\"PeriodicalId\":350761,\"journal\":{\"name\":\"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WORDS.2003.1267486\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WORDS.2003.1267486","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

当试图在问题领域中找到解决方案时，首先探索设计空间的限制是一个合理的步骤。如果在此过程中遇到不可能的结果，则可以有选择地将进一步的搜索空间限定为解决方案的范围，以避免陷入死胡同。从这样的角度来看，本文的目标是概述和讨论基于组件的计算系统中组件接口的精确规范的限制。我们的兴趣在于确定涵盖功能组成和验证问题的限制。同样重要的是，我们提供了限制和不可能条件的原因背后的理由。

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

查看原文本刊更多论文

On the limits of the precise specification of component interfaces

When trying to find solutions in a problem domain it is a rational step to first explore the limits of the design space. If, during such an endeavor, an impossibility result is encountered, then the further search space can be selectively scoped for solutions to avoid dead-end avenues. With such a perspective, it is the objective of this contribution to outline and discuss the limits of the precise specification of component interfaces in component-based computing systems. Our interest lies in ascertaining limits covers issues of functional composition and verification. Equally importantly, we provide a rationale behind the causes of the limits and impossibility conditions.

求助全文

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

来源期刊

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

自引率

0.00%

发文量