Paper published in a book (Scientific congresses and symposiums)
Compositional Specification of ODP Binding Objects
Février, Arnaud; Najm, Elie; Leduc, Guy et al.
1996In Information Network and Data Communication
Peer reviewed
 

Files


Full Text
RUN-PP96-03.pdf
Author postprint (205.01 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
binding object
Abstract :
[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)
Event place :
Trondheim, Norway
Event date :
Jun. 1996
Audience :
International
Main work title :
Information Network and Data Communication
Peer reviewed :
Peer reviewed
Available on ORBi :
since 16 December 2009

Statistics


Number of views
53 (0 by ULiège)
Number of downloads
204 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi