Capturing functional and non-functional connector

Abstract : The CONNECT Integrated Project aims to develop a novel networking infrastructure that will support composition of networked systems with on-the-fly connector synthesis. The role of this work package is to investigate the foundations and verification methods for composable connectors. In this deliverable, we set the scene for the formulation of the modelling framework by surveying existing connector modelling formalisms. We covered not only classical connector algebra formalisms, but also, where appropriate, their corresponding quantitative extensions. All formalisms have been evaluated against a set of key dimensions of interest agreed upon in the CONNECT project. Based on these investigations, we concluded that none of the modelling formalisms available at present satisfy our eight dimensions. We will use the outcome of the survey to guide the formulation of a compositional modelling formalism tailored to the specific requirements of the CONNECT project. Furthermore, we considered the range of non-functional properties that are of interest to CONNECT, and reviewed existing specification formalisms for capturing them, together with the corresponding modelchecking algorithms and tool support. Consequently, we described the scientific advances concerning model-checking algorithms and tools, which are partial contribution towards future deliverables: an approach for online verification (part of D2.2), automated abstraction-refinement for probabilistic realtime systems (part of D2.2 and D2.4), and compositional probabilistic verification within PRISM, to serve as a foundation of future research on quantitative assume-guarantee compositional reasoning (part of D2.2 and D2.4).
Type de document :
Rapport
[Technical Report] 2010
Liste complète des métadonnées

Littérature citée [64 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00464654
Contributeur : Emmanuelle Grousset <>
Soumis le : mercredi 17 mars 2010 - 16:28:21
Dernière modification le : mardi 17 avril 2018 - 11:24:02
Document(s) archivé(s) le : vendredi 18 juin 2010 - 20:09:46

Fichier

connect_WP2_d21.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00464654, version 1

Collections

Citation

Marco Autili, Chris Chilton, Felicita Di Giandomenico, Paola Inverardi, Bengt Jonsson, et al.. Capturing functional and non-functional connector. [Technical Report] 2010. 〈inria-00464654〉

Partager

Métriques

Consultations de la notice

224

Téléchargements de fichiers

212