Research Unit in Networking
	Abstract

Compositional Specification of ODP Binding Objects A. Février1 , E. Najm2, G. Leduc3 and L. Léonard3 1 ENST, Paris, France 2 ENST, Paris, FRance 3 Research unit in Networking, EECS department, University of Liège, Belgium 4 Research unit in Networking, EECS department, University of Liège, Belgium (1996) Abstract 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. Keywords 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: - RUN Admin -

Still running IPv4 at: 18.217.244.16...

RUN | Montefiore | ULg © 2000-2025.