The lack of precise and explicit specifications of component interfaces often leads to problems during the integration of software components. Also updates of components might lead to system issues, e.g., caused by changes in the interaction protocol or timing behavior. At system level, it is usually difficult to detect the source of such issues. The CommaSuite framework consists of a set of languages and tools that allow the precise definition and analysis of client-server interfaces.

To specify the interface of a server towards its clients, the approach contains the following ingredients:

The CommaSuite language also allows modeling of components with required and provided interfaces. Also constraints between interfaces can be expressed.

Based on these models a number of different artifacts can be generated, as illustrated in the following figure.

image

We list a number of possible generators:

See the currently supported generators.