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.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...