Enhancing component specification by behavior description: the SOFA experience
František Plášil · 2005
This paper aims at sharing with the reader the experience with behavior protocols- the component behavior description introduced in our SOFA component model and emphasize the key research challenges we have faced in this respect during its 6 years existence and development. In particular, this includes the issue of finding the “right ” semantics of fulfilling the behavior contract in terms of both horizontal (client-service) and vertical (nesting) cooperation of components. The contribution of the paper is that it brings our findings published “incrementally ” under one umbrella and articulates verbally what was elsewhere captured in an exact, formal way.