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-bystep refinement of the component’s specification during its design. In addition, the notation should be easy to comprehend and allow for f…