Reference : Compositional Specification of ODP Binding Objects

	Document type :	Scientific congresses and symposiums : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/32923

Title :	Compositional Specification of ODP Binding Objects
Language :	English
Author, co-author :	Février, Arnaud [ENST Paris > > > >]
	Najm, Elie [ENST Paris > > > >]
	Leduc, Guy [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 > > > >]
Publication date :	Jun-1996
Main document title :	Information Network and Data Communication
On invitation :	No
Audience :	International
Event name :	6th IFIP/ICCC Conference on Information Network and Data Communication (INDC'96)
Event date :	Jun. 1996
Event place (city) :	Trondheim
Event country :	Norway
Keywords :	[en] 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.
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/32923

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access RUN-PP96-03.ps Author postprint 306.58 kB View/Open

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5