5th European Software Engineering Conf. There is a real need for clear and sound design specifications of distributed systems at the architectural level. This is the level of the design which deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin is in essence a declarative binding language which can be used to define hierarchic compositions of interconnected components.
Distribution is dealt with orthogonally to system structuring.
The language supports the specification of both static structures and dynamic structures which may evolve during execution. Them - Shaw, DeLine, Klein et al. Specifying Distributed Software Architectures. In Proceedings of 5th European Software Engineering Conference, Spain, 1994. 5th European Software Engineering Conf.