A formal definition of software architecture behavioral concepts

Software architecture is a novel filed of software engineering devoted towards describing the architecture of software systems. Architecture Description Languages (ADLs) are formal methods used to achieve this description. Most of the ADLs (including COSA) focus in describing the structural description of software systems, however to have a comprehensive description of a system we need to define not only the structural view but also the behavioral view of the system. In this article we define the behavioral aspects of the COSA model using the B method. We also provide a B formal specification of the proposed aspects