On the limits of the precise specification of component interfaces

Abstract

When trying to find solutions in a problem domain it is a rational step to first explore the limits of the design space. If, during such an endeavor, an impossibility result is encountered, then the further search space can be selectively scoped for solutions to avoid dead-end avenues. With such a perspective, it is the objective of this contribution to outline and discuss the limits of the precise specification of component interfaces in component-based computing systems. Our interest lies in ascertaining limits covers issues of functional composition and verification. Equally importantly, we provide a rationale behind the causes of the limits and impossibility conditions.