|Reference : QoS specification of ODP binding objects|
|Scientific journals : Article|
|Engineering, computing & technology : Computer science|
|QoS specification of ODP binding objects|
|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 > > > >]|
|[en] We present a QoS oriented notation suitable for the ODP framework. In particular, we focus on a computational view of objects: we consider systems described as configurations of interacting objects and we deal with two types of communications: message passing and flows. In message passing, signals (from one object to another) are conveyed through the (implicit) underlying infrastructure. This form of interaction is suitable for client/server applications where no strong real time or ordering constraints are needed from the communication infrastructure. In contract, in a flow type of communication, signals are conveyed through third party (binding) objects that may be explicitly called for in order to ensure specific QoS requirements needed by specific applications. 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.|
There is no file associated with this reference.
All documents in ORBi are protected by a user license.