@ 2013 - Site Map - Credits

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