The lack of precise and explicit specifications of component interfaces often leads to problems during the integration of components. Also updates of components may lead to system issues, e.g., caused by changes in the interaction protocol or timing behavior. To avoid these issues, tool support for the modeling and analysis of interface specifications has been developed in the CommaSuite project of the Eclipse foundation (www.eclipse.org/comma). This project provides tool support for the modeling of interfaces of software components. Models include a protocol state machine and constraints on data and time. Also constraints on relations between interfaces can be expressed. Based on interface models, several artefacts are generated such as documentation and test cases. Important is the generation of a monitor which can be used to check if components confirm to the specified interface models. The presentation will include a demo of the latest release of the CommaSuite project.
The presentation is suitable for any software engineer, no additional knowledge is needed. The attendees will learn about a new techniques to improve software interfaces, the available open source tooling, and how it is currently used in the Dutch high-tech industry.