%T Formal Contracts: Enabling Component Composition
%A Marcel Boosten
%E Jan F. Broenink, Gerald H. Hilderink
%B Communicating Process Architectures 2003
%X Traditional component interaction is based on interface
calls and callbacks. Such interaction can introduce
integration faults, i.e., side effects at the moment of
component integration. Solutions to such problems can be
hard to apply, and may require drastic changes in the design
of the involved components. This paper introduces Formal
Contracts, a software construct that allows side\-effect
free component interaction, and thereby avoids the
introduction of integration faults. Furthermore, via a state
machine representing the inter\-component contract, Formal
Contracts, in addition to the static aspects, formally
specify the dynamic aspects of component interaction. Formal
Contracts are a pragmatic software mechanism that supports
the full development cycle: from the specification and
decomposition until the debugging, composition, and test of
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org