Research output: Contribution to Journal/Magazine › Journal article
Research output: Contribution to Journal/Magazine › Journal article
}
TY - JOUR
T1 - Formal specification and verification of multimedia systems in open distributed processing.
AU - Blair, Lynne
AU - Blair, Gordon S.
AU - Bowman, Howard
AU - Chetwynd, Amanda G.
PY - 1995/9/30
Y1 - 1995/9/30
N2 - The field of distributed systems is now entering a stage of maturity with work focusing on standards for Open Distributed Processing (ODP). However, it is still important that standardization remains responsive to new technological demands such as the emergence of distributed multimedia computing. This paper focuses on the likely impact of multimedia computing on formal description within ODP. In particular, a framework is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This framework exhibits a separation of concerns between the specification of behaviour and requirements and also between the specification of abstract behaviour and real-time concerns. The usefulness of this framework is demonstrated by the development of an approach based on LOTOS together with a real-time temporal logic, QTL.
AB - The field of distributed systems is now entering a stage of maturity with work focusing on standards for Open Distributed Processing (ODP). However, it is still important that standardization remains responsive to new technological demands such as the emergence of distributed multimedia computing. This paper focuses on the likely impact of multimedia computing on formal description within ODP. In particular, a framework is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This framework exhibits a separation of concerns between the specification of behaviour and requirements and also between the specification of abstract behaviour and real-time concerns. The usefulness of this framework is demonstrated by the development of an approach based on LOTOS together with a real-time temporal logic, QTL.
KW - Formal specification
KW - Open distributed processing
KW - Multimedia
KW - LOTOS
KW - Real-time temporal logics
U2 - 10.1016/0920-5489(95)00016-N
DO - 10.1016/0920-5489(95)00016-N
M3 - Journal article
VL - 17
SP - 413
EP - 436
JO - Computer Standards and Interfaces
JF - Computer Standards and Interfaces
SN - 0920-5489
IS - 5-6
ER -