{"title":"一种表示实时应用程序输入和输出的时间属性的函数式方法","authors":"P. Raja, G. Noubir","doi":"10.1109/FTDCS.1993.344140","DOIUrl":null,"url":null,"abstract":"Many real-time applications are different from ordinary computer applications because they react to the state or change of state of the external environment within a specified time limit. The authors concentrate on the interface between such applications and the external environment. The interface is represented as real-time objects, on which operations that accomplish correct data flow from the external environment to the application are introduced. The main aim of this work is to characterize the data flow by specifying the semantics of the operations. A functional approach is adopted for specifying and expressing the semantics of the operations.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"A functional approach for expressing temporal properties of inputs and outputs of real-time applications\",\"authors\":\"P. Raja, G. Noubir\",\"doi\":\"10.1109/FTDCS.1993.344140\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Many real-time applications are different from ordinary computer applications because they react to the state or change of state of the external environment within a specified time limit. The authors concentrate on the interface between such applications and the external environment. The interface is represented as real-time objects, on which operations that accomplish correct data flow from the external environment to the application are introduced. The main aim of this work is to characterize the data flow by specifying the semantics of the operations. A functional approach is adopted for specifying and expressing the semantics of the operations.<<ETX>>\",\"PeriodicalId\":251095,\"journal\":{\"name\":\"1993 4th Workshop on Future Trends of Distributed Computing Systems\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1993 4th Workshop on Future Trends of Distributed Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTDCS.1993.344140\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1993 4th Workshop on Future Trends of Distributed Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTDCS.1993.344140","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A functional approach for expressing temporal properties of inputs and outputs of real-time applications
Many real-time applications are different from ordinary computer applications because they react to the state or change of state of the external environment within a specified time limit. The authors concentrate on the interface between such applications and the external environment. The interface is represented as real-time objects, on which operations that accomplish correct data flow from the external environment to the application are introduced. The main aim of this work is to characterize the data flow by specifying the semantics of the operations. A functional approach is adopted for specifying and expressing the semantics of the operations.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
