A. Borgida and P. Devanbu. Adding more DL to IDL: towards more knowledgeable component inter-operability. In Proceedings of the 21st international conference on Software engineering. IEEE Computer Society Press, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Environment for Dynamic Component Composition for.. - Doucet, Shukla.. (2002) (5 citations) (Correct)
....sets of objects and establishing relationships. The library component engineer builds components in C , and exports their interfaces to the upper layer by using the Balboa Interface Definition Language (BIDL) The BIDL is basically similar to the CORBA IDL [11] but it has been customized [5] for the needs of composability. The environment is implemented through the following layered architecture: System Architect Library Component Engineer builds controls CIL Component Integration Environment SLI Interpreter C BIDL Model Design C DE Simulator IP ....
A. Borgida and P. Devanbu. Adding more DL to IDL: towards more knowledgeable component inter-operability. In Proc. Int. Conf on Software Engineering, 1999.
Multi-Agent Coordination of Distributed Event Data Processing - Koch, Petta (2000) (1 citation) (Correct)
....computing, interoperability with good decoupling can be achieved through technologies such as CORBA in combination with interface description languages such as IDL. But such languages have a serious drawback: they only allow capabilities to be matched by signature, but not by their semantics [3]. At the other extreme, languages such as EIFFEL [15] with its Design by contract approach which allows to specify pre and postconditions as well as invariants, or Z have the drawback that their formalisms are so generic that reasoning with them is undecidable in general. In the case of ....
....or [17] are unsuitable for description problems of this kind. As we will discuss, the known description logics formalisms, when extended by the constructs necessary to express these ordering constraints, become undecidable. In a nutshell, description logics, when used for capability description [3], are meant to provide a convenient way for defining inputs and outputs of agents, together with invariants that can be useful for AI planning. For example, and SomeMethod (the in Amplitude) the out Amplitude) same as in.burst out.burst) would declare a capability SomeMethod that accepts an ....
Borgida, A., Devanbu, P.: "Adding more `DL' to IDL: towards more knowledgeable component inter-operability". Proc. of ICSE'99 (1999).
Developing and Managing Software Components In An.. - Oberle, Eberhart.. (2004) (1 citation) (Correct)
No context found.
A. Borgida and P. Devanbu. Adding more DL to IDL: towards more knowledgeable component inter-operability. In Proceedings of the 21st international conference on Software engineering. IEEE Computer Society Press, 1999.
Enhancing Application Servers with Semantics - Marta Sabou Dep (Correct)
No context found.
A. Borgida and P. Devanbu. Adding more DL to IDL: towards more knowledgeable component inter-operability. In Proceedings of the 21st international conference on Software engineering. IEEE Computer Society Press, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC