|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Technology of Object-Oriented Languages and Systems
Bounding Component Behavior via Protocols
Santa Barbara, California
August 01-August 05
ISBN: 0-7695-0278-4
| ASCII Text | x | ||
| Frantisek Plasil, Miloslav Besta, Stanislav Visnovsky, "Bounding Component Behavior via Protocols," Technology of Object-Oriented Languages, International Conference on, pp. 387, Technology of Object-Oriented Languages and Systems, 1999. | |||
| BibTex | x | ||
| @article{ 10.1109/TOOLS.1999.787567, author = {Frantisek Plasil and Miloslav Besta and Stanislav Visnovsky}, title = {Bounding Component Behavior via Protocols}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1999}, isbn = {0-7695-0278-4}, pages = {387}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787567}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Bounding Component Behavior via Protocols SN - 0-7695-0278-4 SP EP A1 - Frantisek Plasil, A1 - Miloslav Besta, A1 - Stanislav Visnovsky, PY - 1999 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER - | |||
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.
