In an open component marketplace, interface description languages (IDL) provide consumers with only a weak guarantee that a software service will work in a particular context as anticipated. An approach based on a family of formalisms called description logics (DL) is presented with three examples of the use of DLs to augment IDL: for the CORBA Cos Relationship service; for capturing information models described using STEP Express, the ISO standard language used in the manufacturing domain; and constraints involving methods. DLs offer decidable and efficient reasoning algorithms, while excelling at modeling natural domains. Thus, they are well suited for specifying application- and domain-specific services.
|Original language||English (US)|
|Number of pages||11|
|Journal||Proceedings - International Conference on Software Engineering|
|State||Published - 1999|
|Event||Proceedings of the 1999 International Conference on Software Engineering - Los Angeles, CA, USA|
Duration: May 16 1999 → May 22 1999
All Science Journal Classification (ASJC) codes