A Logical Interface Description Language for Components
Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the semantics of its constituent components, and the conditions under which this derivation system is sound and complete. Our main results in this paper are the theorems that formulate the notion of compositionality and the completeness of the derivation system that supports this property in a component-based system.
KeywordsComponent State Proof System Observable Behavior Component Interface Proof Method
Unable to display preview. Download preview PDF.
- 2.F. Arbab, M.M. Bonsangue, and F.S. de Boer. A coordination language for mobile components. In Proc. of SAC 2000, pages 166–173, ACM press, 2000.Google Scholar
- 4.K. Bergner, A. Rausch, M. Sihling, A. Vilbig An integrated view on componentware: concepts, description techniques, and development process. In R. Lee, editor, Proc. of IASTED Conference on Software Engineering, pages 77–82, ACTA Press, 1998.Google Scholar
- 5.K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy. A formal model for componentware. In M. Sitaraman and G. Leavens, editors, Foundation of Component-Based Systems, Cambridge University Press, 2000.Google Scholar
- 6.F.S. de Boer. Reasoning about asynchronous communication in dynamically evolving object structures. In Theoretical Computer Science, 2000.Google Scholar
- 7.F.S. de Boer and M.M. Bonsangue. A compositional model for confluent dynamical data-flow networks. In B. Rovan ed., Proc. 25th MFCS, LNCS, 2000.Google Scholar
- 8.M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutellá, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240(1), July 2000.Google Scholar
- 9.M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 1378 of LNCS, pages 170–187, 1995.Google Scholar
- 11.R. Grosu and K. Stølen. A model for mobile point-to-point data-flow networks without channel sharing. In Proc. AMAST’96, LNCS, 1996.Google Scholar
- 12.JavaSoft. The JavaBeans component architecture, 1999. Available on line at the http://java.sun.com/beans.
- 13.He Jifeng, M.B. Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. In Proc. of IFIP Working Conference on Programming Concepts and Methods, pages 459–478, 1990.Google Scholar
- 14.Microsoft Corporation. ActiveX Controls, 1999 Available on line at the http://www.microsoft.com/com/tech/activex.asp.
- 16.Object Management Group. CORBA 2.1 specifications, 1997. Available on line at the http://www.omg.org.