{"title":"Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems","authors":"José P. Diaz-Gonzalez, J. E. Urban","doi":"10.1109/ICCL.1988.13067","DOIUrl":null,"url":null,"abstract":"A specification language based on an object-oriented conceptual model is presented. Interval temporal logic, a variation of modal logic that provides mechanisms for specifying time-varying properties of systems, is used in the language as the underlying formalism for representing behavioral constraints on the objects. The mechanism used for the interpretation and satisfaction of the constraints is discussed.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"68 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 1988 International Conference on Computer Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCL.1988.13067","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 13
Abstract
A specification language based on an object-oriented conceptual model is presented. Interval temporal logic, a variation of modal logic that provides mechanisms for specifying time-varying properties of systems, is used in the language as the underlying formalism for representing behavioral constraints on the objects. The mechanism used for the interpretation and satisfaction of the constraints is discussed.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
