Charles Explorer logo
🇬🇧

Automated resolution of connector architectures using constraint solving (ARCAS method)

Publication at Faculty of Mathematics and Physics |
2014

Abstract

In current software systems, connectors play an important role by encapsulating the communication and coordination logic. Since they share common patterns (elements) depending on characteristics of the connections, the elements can be predefined and reused.

A method of connector implementation based on a composition of predefined elements naturally comprises two steps: resolution of the connector architecture, and creation of the actual connector code based on the architecture. However, manual resolution of a connector architecture is very difficult due to the number of factors to be considered.

Thus, the challenge is to come up with an automated method, able to address all the important factors. In this paper, we present amethod for automated resolution of connector architectures based on constraint solving techniques.

We exploit a propositional logic with relational calculus for defining a connector theory, a constraint specification reflecting both the predefined parts and the important resolution factors, and employ a constraint solver to find a suitable connector architecture as a model of the theory. As a proof of the concept,we showhowthe theory can be captured in the Alloy language and resolved via the Alloy Analyzer.