Compositional Specification of ODP Binding Objects [chapter]

Arnaud Février, Elie Najm, Guy Leduc, Luc Léonard
1996 IFIP Advances in Information and Communication Technology  
A building blocks approach for the formal speci cation 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 speci cation of a multicast, multimedia binding object.
doi:10.1007/978-0-387-34985-5_21 fatcat:3n25uvrm3vfpnmeuhhmuvpphp4