The CONNECT Integrated Project aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on the fly the connectors via which networked systems communicate. CONNECT enables the dynamic synthesis of CONNECTors by introducing a formal foundation for connectors, which allows learning, reasoning about and adapting the interaction behavior of networked systems.

The core objective of CONNECT is to effectively support the comprehensive dynamic process for the actual implementation and deployment of emergent CONNECT ors based on:

• extracting knowledge from,
• learning about and
• reasoning about the interaction behavior of
• networked systems, together with synthesizing new interaction behaviors out of the ones exhibited by the systems to be made interoperable, and further
• generating and deploying corresponding CONNECTors implementations to actually realize networking of the involved systems.

The above raises a set of unique challenges in the area of software systems engineering, from theoretical foundations to specify the interaction behavior of networked systems t0 run-time methods and tools to turn specifications into running protocols, and vice-versa.

In particular, the addressed challenges are:

1. Scientific

• Compositional reasoning
• Automated verification
• Quantitative analysis

2. Technological

• Software evolution & management
• New software lifecycle paradigms
• Trustworthy networked systems

3. Practical

• Truly pervasive computing
• Supporting diversity
• Empowering non-IT people

Web Page: http://connect-forever.eu/

Reference: Fabio Martinelli