loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 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
Frantisek Plasil, Charles University at Prague and Academy of Sciences of the Czech Republic
Miloslav Besta, Charles University at Prague and Academy of Sciences of the Czech Republic
Stanislav Visnovsky, Charles University at Prague
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.