|Research Unit in Networking|
, E. Najm, G. Leduc2 and L. Léonard2
1 ENST, Paris, France
AbstractA 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.
Keywordsbinding object, LOTOS, MT-LOTOS, ODP
Editor: - G. Leduc -
Webmaster: - C. Soldani -
|Still running IPv4 at: 184.108.40.206...||