Show simple item record

dc.contributor.authorBhagat, Sonal
dc.contributor.authorJoshi, Rushikesh K.
dc.contributor.editorGodlevsky, Mikhail
dc.contributor.editorMayr, Heinrich C.
dc.date.accessioned2020-01-07T11:50:44Z
dc.date.available2020-01-07T11:50:44Z
dc.date.issued2001
dc.identifier.isbn13-88579-331-8
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/30747
dc.description.abstractSpecifying 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.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofInformation Systems Technology and its Applications, international conference ISTA'2001
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-2
dc.titleSupporting behavioral contracts for COM componentsen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages45-51
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationKharkiv, Ukraine
mci.conference.dateJune 13-15, 2001


Files in this item

Thumbnail

Show simple item record