Supporting behavioral contracts for COM components

Authors:
Sonal Bhagat;Rushikesh K. Joshi
Affiliations:
Department of Computer Science and Engineering Indian Institute of Technology, Bombay Powai, Mumbai - 400 076, India;Department of Computer Science and Engineering Indian Institute of Technology, Bombay Powai, Mumbai - 400 076, India
Venue:
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Year:
2002

Citing 5
Cited 0

Design by Contract: The Lessons of Ariane

Computer
Making Components Contract Aware

Computer
Behavioral Specification of Distributed Software Component Interfaces

Computer
Modeling with Filter Objects in Distributed Systems

EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Component Metadata for Software Engineering Tasks

EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects

Quantified Score

Hi-index	0.00

Visualization

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.