Designing reusable software components following the CSP distributed programming model

The CSP distributed programming model offers formal bases that allow the development of high quality and secure distributed software for multicomputers. However, the model imposes restrictions that make it complicated to reuse software components developed with languages that follow the model. This problem is mainly due to each component in the application interacting with each other according to a static communication channel structure. This fact complicates the reuse of a component in a different context from the original. A methodology for designing distributed software is presented. This methodology allows to build distributed applications in a structured manner by layering instances of highly parameterized components. Also, a notation to describe such components supporting the presented methodology is proposed. This methodology, together with the aforementioned notation, can be easily implemented in any programming language that follows the CSP model.