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.

Concurrent Programming (acm D.1.3), Object-oriented Programming (acm D.1.5), Software/Program Verification (acm D.2.4), Models of Computation (acm F.1.1), Specifying and Verifying and Reasoning about Programs (acm F.3.1), Semantics of Programming Languages (acm F.3.2)
Programming languages (msc 68N15), None of the above, but in MSC2010 section 68Nxx (msc 68N99), Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10), Semantics (msc 68Q55), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Software (theme 1)
Software Engineering [SEN]
Computer Security

Arbab, F, Bonsangue, M.M, & de Boer, F.S. (2000). A logical interface description language for components. Software Engineering [SEN]. CWI.