Reference : Compositional Specification of ODP Binding Objects
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/32923
Compositional Specification of ODP Binding Objects
English
Février, Arnaud [ENST Paris > > > >]
Najm, Elie [ENST Paris > > > >]
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Jun-1996
Information Network and Data Communication
Yes
No
International
6th IFIP/ICCC Conference on Information Network and Data Communication (INDC'96)
Jun. 1996
Trondheim
Norway
[en] binding object
[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.
Researchers
http://hdl.handle.net/2268/32923

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP96-03.psAuthor postprint306.58 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.