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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.