Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Information Systems Technology and its Applications, International Conference ISTA'2001, June 13-15, 2001, Kharkiv, Ukraine, Proceedings. P-02, 45-51 (2001).

GI, Gesellschaft für Informatik, Bonn
2001


Editors

Mikhail Godlevsky (ed.), Heinrich C. Mayr (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Supporting behavioral contracts for COM components

Sonal Bhagat and Rushikesh K. Joshi

Abstract


Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preconditions and postconditions describe one form of behavioral aspects of components. We discuss a tool and an implementation mechanism to incorporate behavioral contracts expressed in terms of preconditions and postconditions for COM components. A method invocation on a component is executed only if the precondition is satisfied. Similarly, the results are successfully returned upon successful execution of the postcondition. A design criterion was to facilitate contract specifications for existing components with least amount of changes at client and server side code. The tool requires that the component should implement an additional interface called IAccess if the behavioral contract needs component state. No modification is required to existing clients of the component.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-331-8


Last changed 04.10.2013 17:52:16