home consortium project research publications training softwareprivate

Summer school





@ 2013 - Site Map - Credits

classroom Slide 01 Slide 20 Slide 03 Slide 04 Slide 05 Slide 06

A key objective of CONNECT is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we have formalised a first version of a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably defi ned primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones.

The semantics of the algebra is given in terms of Interface Automata, and a model-driven modelling tool based on the algebra has been developed. The tool is called IAAnalyzer and, by means of model-to-text transformation techniques, it integrates with the Ticc tool for performing automted analysis of the modeled system and connectors

The CONNECT project acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the ICT theme of the Seventh Framework Programme for Research of the European Commission.