ULg Research Unit in Networking RUN

Compositional Specification of ODP Binding Objects

A. Février1 , E. Najm, G. Leduc2 and L. Léonard2

1 ENST, Paris, France
2 Research unit in Networking, EECS department, University of Liège, Belgium



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.


binding object, LOTOS, MT-LOTOS, ODP

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2015.