Technology of Object-Oriented Languages and Systems Bounding Component Behavior via Protocols Santa Barbara, California August 01-August 05 ISBN: 0-7695-0278-4
In this paper, we welcome the SOFA Component Description Language with a semantic desription of a Components functionality. There are two key requirements this description aims to address: first, it should ensure correct composition of the nested architectural adstractions (for design purposes): second, it should be easy-to-read so that an average user can identify a component with the correct semantics for the purposes of component trading. The semantic description in SOFA expresses the behavior of the component in terms of behavior protocols using a notation similar to regular expressions which is easy to read and comprehend. The behavior protocols are used on three levels: interface, frame, and architecture. The key achievements of this paper include the definition of the protocol conformance relation. Using this relation, the designer can in most cases statically verify that the frame protocol adheres to the requirements of the interface protocols, and that the architecture protocol adheres to the requirements of the frame and interface protocols.
Citation:
Frantisek Plasil, Miloslav Besta, Stanislav Visnovsky, "Bounding Component Behavior via Protocols," tools, pp.387, Technology of Object-Oriented Languages and Systems, 1999 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||