Specification of coordination behaviors in software architecture using the Reo coordination language

Abstract

One of the key goals of a software architecture is to help application designers analyze a software system at a higher level of abstraction than implementation. Software architects often use architecture description languages (ADLs) and their supporting tools to specify software architectures. Existing ADLs often lack formal foundations for design, analysis and reconfiguration of software architectures. The Reo language has a strong formal basis and promotes loose coupling, distribution, mobility, exogenous coordination, and dynamic reconfigurability. This thesis focus on assessing the Reo coordination language as an ADL by doing the following work: a) specify a distributed meeting scheduling system using the Reo coordination language; b) assess the Reo coordination language as an ADL using an existing metho