[PDF][PDF] Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering, 1999•dl.acm.org
In an open component market place, interface description languages (IDLs), such as
CORBA'S, pro-vide for the consumer only a weak guarantee (concerning type signatures)
that a software service will work in a particular context as anticipated. Stronger guarantees,
regarding the intended semantics of the service, would help, especially if formalized in a
language that allowed effective, automatic and static checking of compatibility between the
server and the client's service descriptions We propose an approach based on a family of …
CORBA'S, pro-vide for the consumer only a weak guarantee (concerning type signatures)
that a software service will work in a particular context as anticipated. Stronger guarantees,
regarding the intended semantics of the service, would help, especially if formalized in a
language that allowed effective, automatic and static checking of compatibility between the
server and the client's service descriptions We propose an approach based on a family of …
Abstract
In an open component market place, interface description languages (IDLs), such as CORBA’S, pro-vide for the consumer only a weak guarantee (concerning type signatures) that a software service will work in a particular context as anticipated. Stronger guarantees, regarding the intended semantics of the service, would help, especially if formalized in a language that allowed effective, automatic and static checking of compatibility between the server and the client’s service descriptions
We propose an approach based on a family of formalisms called description logics (DLs), providing three examples of the use of DLs to augment IDL:(1) for the CORBA Cos Relationship service;(2) for capturing information models described using STEP Express, the IS0 standard language used in the manufacturing domain (and a basis of the OMG PDM effort); and (3) constraints involving methods.