Towards a Formal Computational Model for Distributed Multimedia Applications [chapter]

Andreas Vogel
1995 IFIP Advances in Information and Communication Technology  
A formal computational model for distributed systems and in particular for distributed multimedia applications derived frorn the Reference Model on Open Distributed Processing is defined and presented. The formal definition is based on the standardized formal description technique LOTOS introducing the LOTOS sub-language approach. This approach is applied to the ODP computationsllanguage yielding a sub-language LOTOScomp. In this context, the capability of (standard) LOTOS to model Quality of
more » ... rvice is discussed and compared with approaches based on LOTOS extensions.
doi:10.1007/978-0-387-34878-0_29 fatcat:hev4wwixh5bhtety5bqe56vmty