[en] A building blocks approach for the formal specification of binding objects in the ODP Computational Model is presented. The formal notation that is used is based on LOTOS extended with two features - real time and gate passing. These features are among the extensions that are currently studied in the ISO standardisation Formal Description Techniques group. We apply our building blocks approach to the specification of a multicast, multimedia binding object.
Disciplines :
Computer science
Author, co-author :
Février, Arnaud; ENST Paris
Najm, Elie; ENST Paris
Leduc, Guy ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Léonard, Luc; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
Compositional Specification of ODP Binding Objects
Publication date :
June 1996
Event name :
6th IFIP/ICCC Conference on Information Network and Data Communication (INDC'96)
