We propose a framework for interaction description based on the paradigm of roles to be used in software development. It includes processes to formulate global interaction requirements abstracting from configuration and interaction details and event traces to analyze global interaction properties like deadlock-freedom. The main constituent of the framework are role descriptions which are structured into state space, services, configuration and interaction. They capture the component behaviour in a particular context. This allows for the description of a wide range of software architectures and designs. Our approach ties together work in the area of object-oriented programming languages and software architecture.     «

We propose a framework for interaction description based on the paradigm of roles to be used in software development. It includes processes to formulate global interaction requirements abstracting from configuration and interaction details and event traces to analyze global interaction properties like deadlock-freedom. The main constituent of the framework are role descriptions which are structured into state space, services, configuration and interaction. They capture the component behaviour in...     »