{"title":"Time-Estelle: an extended Estelle capable of expressing multimedia QoS parameters","authors":"R. Lai, T. Tsang","doi":"10.1109/MMCS.1997.609613","DOIUrl":null,"url":null,"abstract":"Using a specification language to specify Quality of Service (QoS) parameters for a distributed multimedia system (DMS), it must be able to support the timing relationship between different data of a DMS. Estelle, an internationally standardized formal description technique (FDT) for specifying communication protocols and distributed systems, does not have enough expressing power to specify the time-dependent behaviours of a module of a distributed system. The authors present Time-Estelle, an extended Estelle which can express the timing requirements of a DMS, and then describe the application of Time-Estelle to specify some QoS parameters for a DMS.","PeriodicalId":302885,"journal":{"name":"Proceedings of IEEE International Conference on Multimedia Computing and Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of IEEE International Conference on Multimedia Computing and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MMCS.1997.609613","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9
Abstract
Using a specification language to specify Quality of Service (QoS) parameters for a distributed multimedia system (DMS), it must be able to support the timing relationship between different data of a DMS. Estelle, an internationally standardized formal description technique (FDT) for specifying communication protocols and distributed systems, does not have enough expressing power to specify the time-dependent behaviours of a module of a distributed system. The authors present Time-Estelle, an extended Estelle which can express the timing requirements of a DMS, and then describe the application of Time-Estelle to specify some QoS parameters for a DMS.