{"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}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
