International Conference on Coordination Languages and Models

COORDINATION 2000: Coordination Languages and Models pp 249-266

A Logical Interface Description Language for Components

  • F. Arbab
  • F. S. de Boer
  • M. M. Bonsangue
Conference paper

DOI: 10.1007/3-540-45263-X_16

Volume 1906 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Arbab F., de Boer F.S., Bonsangue M.M. (2000) A Logical Interface Description Language for Components. In: Porto A., Roman GC. (eds) Coordination Languages and Models. COORDINATION 2000. Lecture Notes in Computer Science, vol 1906. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • F. Arbab
    • 1
  • F. S. de Boer
    • 2
  • M. M. Bonsangue
    • 1
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.Utrecht UniversityThe Netherlands