Capturing functional and non-functional connector - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Technical Report) Year : 2010

Capturing functional and non-functional connector


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).
Fichier principal
Vignette du fichier
connect_WP2_d21.pdf (3.89 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00464654 , version 1 (17-03-2010)


  • HAL Id : inria-00464654 , version 1


Marco Autili, Chris Chilton, Felicita Di Giandomenico, Paola Inverardi, Bengt Jonsson, et al.. Capturing functional and non-functional connector. [Technical Report] 2010. ⟨inria-00464654⟩
103 View
193 Download


Gmail Facebook Twitter LinkedIn More