{"title":"使用TOOMS/TROL指定手机","authors":"G. Bucci, P. Nesi","doi":"10.1109/EMWRTS.1995.514291","DOIUrl":null,"url":null,"abstract":"Dual models tend to integrate operational and descriptive (i.e., denotational) capabilities in a single powerful method. TROL is an object oriented dual language and model expressively defined for the specification of real time systems. It is supported by the CASE tool TOOMS which is documented in the literature. The TOOMS/TROL model allows one to describe the system at different levels of structural abstraction, and at different levels of specification detail without boundaries among the specification steps. It also supports the verification of consistency at each level of specification, thus allowing the incremental system specification. The experience in using the TOOMS/TROL tool and model for specifying a real time system-i.e., a cellular phone-is reported.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"255 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Using TOOMS/TROL for specifying a cellular phone\",\"authors\":\"G. Bucci, P. Nesi\",\"doi\":\"10.1109/EMWRTS.1995.514291\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Dual models tend to integrate operational and descriptive (i.e., denotational) capabilities in a single powerful method. TROL is an object oriented dual language and model expressively defined for the specification of real time systems. It is supported by the CASE tool TOOMS which is documented in the literature. The TOOMS/TROL model allows one to describe the system at different levels of structural abstraction, and at different levels of specification detail without boundaries among the specification steps. It also supports the verification of consistency at each level of specification, thus allowing the incremental system specification. The experience in using the TOOMS/TROL tool and model for specifying a real time system-i.e., a cellular phone-is reported.\",\"PeriodicalId\":156501,\"journal\":{\"name\":\"Proceedings Seventh Euromicro Workshop on Real-Time Systems\",\"volume\":\"255 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-06-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Seventh Euromicro Workshop on Real-Time Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EMWRTS.1995.514291\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMWRTS.1995.514291","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Dual models tend to integrate operational and descriptive (i.e., denotational) capabilities in a single powerful method. TROL is an object oriented dual language and model expressively defined for the specification of real time systems. It is supported by the CASE tool TOOMS which is documented in the literature. The TOOMS/TROL model allows one to describe the system at different levels of structural abstraction, and at different levels of specification detail without boundaries among the specification steps. It also supports the verification of consistency at each level of specification, thus allowing the incremental system specification. The experience in using the TOOMS/TROL tool and model for specifying a real time system-i.e., a cellular phone-is reported.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
