Integration into the CONNECT Architecture - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

Integration into the CONNECT Architecture

Résumé

The CONNECT Integrated Project aims at enabling continuous composition of networked systems, using a revolutionary approach, based based on on-the-fly synthesis of CONNECTors. The Role of Work Package 4 is to develop techniques for learning representative models of the connector-related behavior of networked peers and middleware through exploratory interaction, and for monitoring the runtime behaviour of the connected system. This document provides an overview of WP4 achievements during the final year of CONNECT, as well as a summary of WP4 achievements and remaining challenges for the entire period of CONNECT. During Y4, WP4 has further increased the power and efficiency of learning techniques, developed and implemented techniques for handling non-functional properties in learning, and finalized the integration of the learning and monitoring enablers into the CONNECT architecture. Over the 46 months of CONNECT operation, WP4 has significantly advanced the state-of-the-art in active automata learning. Prior to the CONNECT project, active learning had been developed only for finite-state component models, utilizing a finite set of interaction primitives. In CONNECT, we have lifted this technology to rich and infinite-state techniques by novel symbolic and abstraction-based techniques, thereby providing a break-through in the state-of-the-art, which will have long lasting impact also after CONNECT. During CONNECT, we have also thoroughly re-engineered our framework for learning, LearnLib, making learning functionality available as reusable components. Further, we have developed a generic monitoring infrastructure that offers great flexibility and adaptability, which is model-driven: it can thus be adapted to a rich set of domain-specific languages, expressed as metamodels, and exploit the support to automation offered by model-driven engineering techniques. Our assessment of the learning and monitoring enablers on CONNECT scenarios shows that the developed technology can cope very well and very efficiently with the challenges imposed by the CONNECT approach.
Fichier principal
Vignette du fichier
CONNECT_Deliverable_D4_4.pdf (1.26 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00805623 , version 1 (28-03-2013)

Identifiants

  • HAL Id : hal-00805623 , version 1

Citer

Antonia Bertolino, Antonello Calabro, Sofia Cassel, Yu-Fang Chen, Falk Howar, et al.. Integration into the CONNECT Architecture. [Research Report] 2012. ⟨hal-00805623⟩

Collections

CONNECT LARA
96 Consultations
136 Téléchargements

Partager

Gmail Facebook X LinkedIn More