Behavior Protocols for Software Components

In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the "interplay" on the component's interfaces and reflect step-by-step refinement of the component's specification during its design. In addition, the notation should be easy to comprehend and allow for formal reasoning about the correctness of the specification refinement and also about the correctness of an implementation in terms of whether it adheres to the specification. Targeting all these requirements together, the paper proposes toemploybehaviorprotocols which are based on a notation similar to regular expressions. As a proof of the concept, the behavior protocols are used in the SOFA architecture description language at three levels: interface, frame, and architecture. Key achievements of this paper include the definitions of bounded component behavior and protocol conformance...

• Type: Journal
• Year: 2002
• Where: TSE
• Authors: Frantisek Plasil, Stanislav Visnovsky
• Keywords: Architecture Description Language, Component Behavior, Specification, TSE 2002