Search

Your search keyword '"Bertolino, Antonia"' showing total 594 results
Start Over Author "Bertolino, Antonia"

Refine your results

more »

more »

more »

more »
594 results on '"Bertolino, Antonia"'

151. A Systematic Review on Cloud Testing

Author

Bertolino, Antonia, primary, Angelis, Guglielmo De, additional, Gallego, Micael, additional, García, Boni, additional, Gortázar, Francisco, additional, Lonetti, Francesca, additional, and Marchetti, Eda, additional

Published
2019
Full Text
View/download PDF

155. Security Assessment of Systems of Systems

Author

Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Ministerio dell'Universitá e della Ricerca (Italia), Ministerio de Economía y Competitividad (MINECO). España, Olivero González, Miguel Ángel, Bertolino, Antonia, Domínguez Mayo, Francisco José, Escalona Cuaresma, María José, Matteuci, Ilaria, Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Ministerio dell'Universitá e della Ricerca (Italia), Ministerio de Economía y Competitividad (MINECO). España, Olivero González, Miguel Ángel, Bertolino, Antonia, Domínguez Mayo, Francisco José, Escalona Cuaresma, María José, and Matteuci, Ilaria

Abstract

Engineering Systems of Systems is one of the new chal-lenges of the last few years. This depends on the increasing number of systems that must interact one with another to achieve a goal. One peculiarity of Systems of Systems is that they are made of systems able to live on their own with well-established functionalities and requirements, and that are not necessarily aware of the joint mission or prepared to collaborate. In this emergent scenario, securi-ty is one crucial aspect that must be considered from the very beginning. In fact, the security of a System of Sys-tems is not automatically granted even if the security of each constituent system is guaranteed. The aim of this paper is to address the problem of assessing security properties in Systems of Systems. We discuss the specific security aspects of such emergent systems, and propose the TeSSoS approach, which includes modelling and testing security properties in Systems of Systems and introduces the Red and Blue Requirements Specification concepts.

Published
2019

156. Addressing Security Properties in Systems of Systems: Challenges and Ideas

Author

Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Ministerio dell'Universitá e della Ricerca (Italia), Ministerio de Economía y Competitividad (MINECO). España, Olivero González, Miguel Ángel, Bertolino, Antonia, Domínguez Mayo, Francisco José, Escalona Cuaresma, María José, Matteuci, Ilaria, Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Ministerio dell'Universitá e della Ricerca (Italia), Ministerio de Economía y Competitividad (MINECO). España, Olivero González, Miguel Ángel, Bertolino, Antonia, Domínguez Mayo, Francisco José, Escalona Cuaresma, María José, and Matteuci, Ilaria

Abstract

Within growing pervasive information systems, Systems of Systems (SoS) emerge as a new research frontier. A SoS is formed by a set of constituent systems that live on their own with well-established functionalities and requirements, and, in certain circumstances, they must collaborate to achieve a common mission. In this scenario, security is one crucial property that needs to be considered since the early stages of SoS lifecycle. Unfortunately, SoS security cannot be guaranteed by addressing the security of each constituent system separately. The aim of this paper is to discuss the challenges faced in addressing the security of SoS and to propose some research ideas centered around the notion of a mission to be carried out by the SoS.

Published
2019

157. Towards automated deployment of self-adaptive applications on hybrid clouds

Author

Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Delamaro, Marcio, de Rosa, Fabio, Garcia, Vinicius, Lonetti, Francesca, Maesano, Ariele-Paolo, Maesano, Libero, Marchetti, Eda, Miranda, Breno, Vincenzi, Auri, Iyoda, Juliano, Université Paris Nanterre (UPN), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Ustore, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Universidade de São Paulo (USP), Simple Engineering France (SEF), Universidade Federal de Pernambuco [Recife] (UFPE), Universidade Federal de São Carlos [São Carlos] (UFSCar), Universidade de São Paulo = University of São Paulo (USP), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), and National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR)

Subjects
ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO]Computer Science [cs]
Abstract

International audience; Cloud computing promises high dynamism, flexibility, and elasticity of applications at lower infrastructure costs. However, resource management, portability, and interoperability remain a challenge for cloud application users, since the current major cloud application providers have not converged to a standard interface, and the deployment supporting tools are highly heterogeneous. Besides, by their very nature, cloud applications bring serious traceability, security and privacy issues. This position paper describes a research thread on an extensible Domain Specific Language (DSL), a platform for the automated deployment , and a generic architecture of an ops application manager for self-adaptive distributed applications on hybrid cloud infrastructures. The idea is to overcome the cited limitations by empowering the cloud applications with self-configuration, self-healing, and self-protection capabilities. Such autonomous governance can be achieved by letting cloud users define their policies concerning security, data protection, dependability and functional compliance behavior using the proposed DSL. Real world trials in different application domains are discussed

Published
2017

158. Automated Deployment and Management of Self-* Applications on Hybrid Clouds

Author

Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Maesano, Libero, Iyoda, Juliano, Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre (UPN), Ustore, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Simple Engineering France (SEF), Universidade Federal de Pernambuco [Recife] (UFPE), EUBrasilCloudFORUM, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), and HILLAH, Lom Messan

Subjects
[INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract

International audience; This position paper outlines an intercontinental research whose goal is twofold: (i) low code implementation of portable cloud applications with self-configuration, self-healing, self-recovery capabilities; (ii) low code automation of installation, configuration, and setup of self-* applications on hybrid clouds.

Published
2017

160. A Systematic Review on Cloud Testing.

Author

BERTOLINO, ANTONIA, DE ANGELIS, GUGLIELMO, GALLEGO, MICAEL, GARCÍA, BONI, GORTÁZAR, FRANCISCO, LONETTI, FRANCESCA, and MARCHETTI, EDA

Abstract

A systematic literature review is presented that surveyed the topic of cloud testing over the period 2012-2017. Cloud testing can refer either to testing cloud-based systems (testing of the cloud) or to leveraging the cloud for testing purposes (testing in the cloud): both approaches (and their combination into testing of the cloud in the cloud) have drawn research interest. An extensive paper search was conducted by both automated query of popular digital libraries and snowballing, which resulted in the final selection of 147 primary studies. Along the survey, a framework has been incrementally derived that classifies cloud testing research among six main areas and their topics. The article includes a detailed analysis of the selected primary studies to identify trends and gaps, as well as an extensive report of the state-of-the-art as it emerges by answering the identified Research Questions. We find that cloud testing is an active research field, although not all topics have received enough attention and conclude by presenting the most relevant open research challenges for each area of the classification framework. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

170. Scalable Approaches for Test Suite Reduction.

Author

Cruciani, Emilio, Miranda, Breno, Verdecchia, Roberto, and Bertolino, Antonia

Subjects
MACHINE learning, ARTIFICIAL intelligence, COMPUTER software development, COMPUTER science, BIG data
Abstract

Test suite reduction approaches aim at decreasing software regression testing costs by selecting a representative subset from large-size test suites. Most existing techniques are too expensive for handling modern massive systems and moreover depend on artifacts, such as code coverage metrics or specification models, that are not commonly available at large scale. We present a family of novel very efficient approaches for similaritybased test suite reduction that apply algorithms borrowed from the big data domain together with smart heuristics for finding an evenly spread subset of test cases. The approaches are very general since they only use as input the test cases themselves (test source code or command line input).We evaluate four approaches in a version that selects a fixed budget B of test cases, and also in an adequate version that does the reduction guaranteeing some fixed coverage. The results show that the approaches yield a fault detection loss comparable to state-of-the-art techniques, while providing huge gains in terms of efficiency. When applied to a suite of more than 500K real world test cases, the most efficient of the four approaches could select B test cases (for varying B values) in less than 10 seconds. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

171. FAST Approaches to Scalable Similarity-based Test Case Prioritization

Author

Miranda, Breno, Verdecchia, R., Cruciani, Emilio, Bertolino, Antonia, Miranda, Breno, Verdecchia, R., Cruciani, Emilio, and Bertolino, Antonia

Abstract

Many test case prioritization criteria have been proposed for speeding up fault detection. Among them, similarity-based approaches give priority to the test cases that are the most dissimilar from those already selected. However, the proposed criteria do not scale up to handle the many thousands or even some millions test suite sizes of modern industrial systems and simple heuristics are used instead. We introduce the FAST family of test case prioritization techniques that radically changes this landscape by borrowing algorithms commonly exploited in the big data domain to find similar items. FAST techniques provide scalable similarity-based test case prioritization in both white-box and black-box fashion. The results from experimentation on real world C and Java subjects show that the fastest members of the family outperform other black-box approaches in efficiency with no significant impact on effectiveness, and also outperform white-box approaches, including greedy ones, if preparation time is not counted. A simulation study of scalability shows that one FAST technique can prioritize a million test cases in less than 20 minutes.

Published
2018

178. When the testing gets tough, the tough get ElasTest.

Author

Bertolino, Antonia, Calabró, Antonello, De Angelis, Guglielmo, Gallego, Micael, García, Boni, and Gortázar, Francisco

Subjects
COMPUTER software testing, APPLICATION software, COMPUTER software development, CLOUD computing, AUTOMATION, COMPUTER software developers
Abstract

We present ElasTest, an open-source generic and extensible platform supporting end-to-end testing of large complex cloud systems, including web, mobile, network and WebRTC applications. ElasTest is developed following a fully transparent and open agile process around which a community of developers, contributors and users is collected. We demonstrate ElasTest in action by testing the FullTeaching application: the video is available from http://elastest.io/videos/icse2018-demo. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

179. Introduction to the special issue on automation of software test and test code quality.

Author

Bertolino, Antonia, Hong, Shin, and Mathur, Aditya P.

Subjects
*AUTOMATION software, *COMPUTER software testing, *ARTIFICIAL intelligence, *SOFTWARE engineering, *EVOLUTIONARY algorithms, *QUANTUM computing
Abstract

However, if on the one side it is now generally accepted that disciplined procedures and quality standards should be applied in production code development, on the other side, comparable levels of rigor and quality are not demanded for the code written for testing that production code. Recently, both researchers and practitioners have proposed solutions toward this problem by identifying test code smells or test code quality issues and providing techniques to automatically detect and repair test code bugs and flakiness. We are pleased to present the papers selected for inclusion in the special issue devoted to the 1st International Conference on Automation of Software Test, which was held virtually in colocation with the 42nd IEEE/ACM International Conference on Software Engineering (ICSE 2020). [Extracted from the article]

Published
2023
Full Text
View/download PDF

183. Applying Structural Testing to Services Using Testing Interfaces and Metadata

Author

Eler, Marcelo Medeiros, Bertolino, Antonia, Masiero, Paulo Cesar, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Department of Computer Science (USP), Universidade de São Paulo = University of São Paulo (USP), and European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010)

Subjects
evaluation, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.5: Online Information Services, service-oriented architecture, structural testing, metadata, coverage, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], testable service, service- oriented architecture
Abstract

International audience; By their very nature, services are accessible only as black-boxes through their published interfaces. It is a well known issue that lack of implementation details may reduce service testability. In previous work, we proposed testable services as a solution to provide third-party services with structural coverage information after a test session, yet without revealing their internal details. However, integrators do not have enough information to improve their test set when they get a low coverage measure because they do not know which test requirements have not been covered. This paper proposes an approach in which testable services are provided along with test metadata that may help integrators to get a higher coverage. The approach is illustrated on a case study of a real system that uses orchestrations and testable services. A formal experiment designed to compare the proposed solution with a functional approach is also presented. The results show evidences that subjects using the testable service approach augmented with metadata can achieve better coverage than subjects using only a functional approach.

Published
2013

184. Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments

Author

Andriescu, Emil - Mircea, Bennaceur, Amel, Bertolino, Antonia, Calabrò, Antonello, Grace, Paul, Isberner, Malte, Léger, Antoine, Merten, Maik, Mhoma, Youssouf, Châtel, Pierre, Morisset, Charles, Pathak, Animesh, Raverdy, Pierre-Guillaume, Saadi, Rachid, Speicys Cardoso, Roberto, Sykes, Daniel, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Computing Department [Lancaster], Lancaster University, Faculty of Computer Science [Dortmund], Technische Universität Dortmund [Dortmund] (TU), Network Centric (NC), TRT - THALES RESEARCH & TECHNOLOGY, Network Centric (NS), THALES, Alcatel-Thalès III-V lab (III-V Lab), THALES-ALCATEL, Istituto di Informatica e Telematica (IIT-CNR), AMBIENTIC, Ambientic, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), THALES [France], and THALES [France]-ALCATEL

Subjects
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Abstract

The core objective of WP6 is to evaluate the CONNECT technologies under realistic situations. To achieve this goal, WP6 concentrated a significant amount of its 4th year effort on the finalization of the implementation of the GMES scenario defined during the 3rd year. The GMES scenario allows the consortium to assess the validity of CONNECT claims and to investigate the exploitation of CONNECT technologies to deal with the integration of real systems. In particular, GMES requires the connection of highly heterogeneous and independently built systems provided by the industry partners. WP6 contributed also in providing mobile collaborative applications and case studies showing the exploitation of CONNECTORs on mobile devices.

Published
2013

185. Finalised dependability framework and evaluation results

Author

Bertolino, Antonia, Calabro, Antonello, Chiaradonna, Silvano, Di Giandomenico, Felicita, Di Marco, Antinisca, Issarny, Valerie, Itria, Massimiliano, Lonetti, Francesca, Kwiatkowska, Marta, Martinelli, Fabio, Matteucci, Ilaria, Morisset, Charles, Nostro, Nicola, Qu, Hongyang, Ribolini, Alberto, Vaccarelli, Anna, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Computing Laboratory (OUCL), University of Oxford [Oxford], Dipartimento di Matematica [Roma TRE], Università degli Studi Roma Tre, Istituto di Informatica e Telematica (IIT-CNR), CONNECT, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), University of Oxford, and Università degli Studi Roma Tre = Roma Tre University (ROMA TRE)

Subjects
CONNECTor, CONNECTed System, Monitoring, Networked System, Performance, Stochastic Model Checking, Security-by-Contract, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Property Meta-model, Dependability, Trust, CONNECTability, Non-functional Properties, Security, Security Policy, Enabler, State-Based Stochastic Methods
Abstract

The ambitious aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems by means of on-the-fly synthesis of the CONNECTors through which they communicate. The goal of WP5 within CONNECT is to ensure that the non-functional properties required at each side of the connection going to be established are fulfilled, including dependability, performance, security and trust, or, in one overarching term, CONNECTability. To model such properties, we have introduced the CPMM meta-model which establishes the relevant concepts and their relations, and also includes a Complex Event language to express the behaviour associated with the specified properties. Along the four years of project duration, we have developed approaches for assuring CONNECTability both at synthesis time and at run-time. Within CONNECT architecture, these approaches are supported via the following enablers: the Dependability and Performance analysis Enabler, which is implemented in a modular architecture supporting stochastic verification and state-based analysis. Dependability and performance analysis also relies on approaches for incremental verification to adjust CONNECTor parameters at run-time; the Security Enabler, which implements a Security-by-Contract-with-Trust framework to guarantee the expected security policies and enforce them accordingly to the level of trust; the Trust Manager that implements a model-based approach to mediate between different trust models and ensure interoperable trust management. The enablers have been integrated within the CONNECT architecture, and in particular can interact with the CONNECT event-based monitoring enabler (GLIMPSE Enabler released within WP4) for run-time analysis and verification. To support a Model-driven approach in the interaction with the monitor, we have developed a CPMM editor and a translator from CPMM to the GLIMPSE native language (Drools). In this document that is the final deliverable from WP5 we first present the latest advances in the fourth year concerning CPMM, Dependability&Performance Analysis, Incremental Verification and Security. Then, we make an overall summary of main achievements for the whole project lifecycle. In appendix we also include some relevant articles specifically focussing on CONNECTability that have been prepared in the last period.

Published
2012

186. Project Final Report Use and Dissemination of Foreground

Author

Grousset, Emmanuelle, Issarny, Valérie, Bertolino, Antonia, Mulas, Daniela, Matteucci, Illaria, Grace, Paul, Blair, Gordon, Mhoma, Youssouf, Tivoli, Massimo, Merten, Maik, Steffen, Bernhard, Qu, Hongyang, Kwiatkowska, Marta, Jonson, Bengt, Cassel, Sofia, Ma., Yun, Guillaume Raverdy (ambientic), Pierre, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Istituto di Informatica e Telematica (IIT-CNR), Computing Department [Lancaster], Lancaster University, Network Centric (NS), THALES, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Technische Universität Dortmund [Dortmund] (TU), Computing Laboratory (OUCL), University of Oxford [Oxford], Uppsala University, Beijing Institute of Technology (BIT), AMBIENTIC, Ambientic, CONNECT, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), THALES [France], Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), and University of Oxford

Subjects
ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

This document is the final report on use and dissemination of foreground, part of the CONNECT final report. The document provides the lists of: publications, dissemination activities, and exploitable foreground

Published
2012

187. Project Final Report Final Publishable Summary Report

Author

Grousset, Emmanuelle, Issarny, Valérie, Bennaceur, Amel, Bertolino, Antonia, Mulas, Daniela, Matteucci, Illaria, Grace, Paul, Blair, Gordon, Mhoma, Youssouf, Inverardi, Paola, Spalazzese, Romina, Tivoli, Massimo, Merten, Maik, Steffen, Bernhard, Qu, Hongyang, Kwiatkowska, Marta, Jonson, Bengt, Cassel, Sofia, Ma, Yun, Guillaume Raverdy, Pierre, Speicys-Cardoso, Roberto, Andriescu, Emil, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Istituto di Informatica e Telematica (IIT-CNR), Computing Department [Lancaster], Lancaster University, Network Centric (NS), THALES, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Technische Universität Dortmund [Dortmund] (TU), Computing Laboratory (OUCL), University of Oxford [Oxford], Uppsala University, School of Electronics Engineering and Computer Science [Beijing] (EECS), Peking University [Beijing], AMBIENTIC, Ambientic, CONNECT, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), THALES [France], Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), and University of Oxford

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

This document is the final publishable summary report, part of the CONNECT final report.

Published
2012

188. Integration into the CONNECT Architecture

Author

Bertolino, Antonia, Calabro, Antonello, Cassel, Sofia, Chen, Yu-Fang, Howar, Falk, Isberner, Malte, Jonsson, Bengt, Merten, Maik, Steffen, Bernhard, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Uppsala University, Technische Universität Dortmund [Dortmund] (TU), Faculty of Computer Science [Dortmund], CONNECT, and European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

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.

Published
2012

189. Experiment scenarios, prototypes and report - Iteration 2

Author

Andriescu, Emil, Bennaceur, Amel, Bertolino, Antonia, Grace, Paul, Huynh, Trân, Kwiatkowska, Marta, Jonsson, Bengt, Léger, Antoine, Pathak, Animesh, Raverdy, Pierre-Guillaume, Saadi, Rachid, Speicys-Cardoso, Roberto, Sykes, Daniel, Tivoli, Massimo, AMBIENTIC, Ambientic, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Computing Department [Lancaster], Lancaster University, Thales Research and Technology [Palaiseau], THALES, Computing Laboratory (OUCL), University of Oxford [Oxford], Uppsala University, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Connect, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), THALES [France], University of Oxford, and Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

The task of WP6 is to evaluate the CONNECT technologies under realistic situations. To achieve this goal, WP6 concentrated its 3rd year effort on the development of a main scenario in the context of GMES, which requires the connection of highly heterogeneous and independently built systems provided by the industry partners. The resulting scenario allows the consortium to assess the validity of CONNECT claims and to investigate the exploitation of CONNECT technologies in the context of the integration of real systems. Another objective of this report is to provide a first assessment of CONNECT solutions against the project's objectives stated in the DoW. The proposed assessment spans: (i) the project's overall objective of enabling on-the-fly interoperability among heterogeneous networked systems as well as (ii) the project's specific objectives related to the foundations and associated enablers to be elaborated for learning and reasoning about the interaction behaviours of networked systems and for synthesizing mediators so as to make systems interoperate.

Published
2012

190. Deployment of learning techniques

Author

Bertolino, Antonia, Calabro, Antonello, Cassel, Sofia, Chen, Yu-Fang, Howar, Falk, Isberner, Malte, Jonsson, Bengt, Merten, Maik, Pelliccione, Patrizio, Steffen, Bernhard, Tivoli, Massimo, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Uppsala University, Technische Universität Dortmund [Dortmund] (TU), Faculty of Computer Science [Dortmund], University of L'Aquila [Italy] (UNIVAQ), Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Connect, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), and Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

The CONNECT Integrated Project aims at enabling continuous composition of networked systems, by developing techniques for synthesizing connectors. A prerequisite for synthesis is to learn about the interaction behavior of networked peers. The role of WP4 is to develop techniques for learning models of networked peers and middleware through exploratory interaction.

Published
2012

191. CHOReOS Governance V&V policies and rules (D4.1)

Author

Bertolino, Antonia, De Angelis, Guglielmo, Bartolini, Cesare, Ben Hamida, Amira, Besson, Felipe, Calabrò, Antonello, Corradini, Flavio, De Angelis, Francesco, Fusani, Mario, Kon, Fabio, Leal, Pedro, Lonetti, Francesca, Mulas, Daniela, Polini, Andrea, Zribi, Sarah, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), PetalsLink, Instituto de Matemática e Estatística (IME), Universidade de São Paulo (USP), Dipartimento di Matematica e Informatica [Camerino], Università degli studi di Camerino, Università degli Studi di Camerino (UNICAM), Department of Computer Science (IME-USP), University of São Paulo (USP), EBM WebSourcing / Petals Links, EBM WebSourcing, European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Universidade de São Paulo = University of São Paulo (USP), and Università degli Studi di Camerino = University of Camerino (UNICAM)

Subjects
Future Internet, Governance, Registry, Monitoring, Life-Cycle, Testing, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Role, Choreography, Ultra Large Scale, Policy, Verification and Validation, Service Level Agreement, Ranking
Abstract

This document presents an initial view of the framework under development for CHOReOS governance and V&V. The focus is on specifying policies and rules on which the framework will rely. After discussing the ULS-FI challenges which are more strictly related to WP 4 goals, we overview the preliminary architecture which will support governance and V&V. We classify policies supporting governance, and start discussing more relevant ones, concerning choreography roles and life-cycle. We also propose approaches for modeling and handling SLA-related requirements. We devote special attention to V&V-related governance aspects, and identify some policies to govern online testing, service ranking and scalability. The framework is still preliminary, in that governance is a transversal concern, and it certainly needs to be harmonized with the components and processes undergoing parallel investigation in the other CHOReOS WPs.

Published
2011

192. CHOReOS Dynamic Development Model Definition (D2.1)

Author

Autili, Marco, Di Ruscio, Davide, Paola, Inverardi, Massimo, Tivoli, Athanasopoulos, Dionysis, Zarras, Apostolos, Vassiliadis, Panos, Lockerbie, James, Maiden, Neil, Bertolino, Antonia, Angelis, Guglielmo De, Ben Amida, Amira, Silingas, Darius, Bartkevicius, Rokas, Gerosa, Marco Aurelio, Oliva, Gustavo A, Leite, Leonardo, M Nogueira, Guilherme, Goldman, Alfredo, Ngoko, Yanik, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Department of Computer Science [Ioannina], University of Ioannina, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), City University London, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), EBM WebSourcing / Petals Links, EBM WebSourcing, No Magic Europe (NME), No Magic Europe, Department of Computer Science (IME-USP), University of São Paulo (USP), Department of Computer Science (USP), Instituto de Matemática e Estatística (IME), Universidade de São Paulo (USP), European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), and Universidade de São Paulo = University of São Paulo (USP)

Subjects
Requirements Specification, Dependency Oriented Choreography Analysis, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Dynamic Software Development Process Model, Conceptual Model, Large-scale Service Base Management, Meta-modeling, Model-driven Engineering, Choreography-centric Service Oriented Computing and Architecture, BPMN2
Abstract

The Future Internet envisions a ubiquitous world where available services can be easily discovered and coordinated so as to fit users needs. Service choreographies will play a central role in this vision as an effective means to allow heterogeneous services to suitably collaborate. This deliverable defines the CHOReOS Dynamic Development Process Model by refining and completing the artefacts/ activities and the relationships among them already sketched into the DoW (under the WP2 description), and conceptualized by the the CHOReOS conceptual model [CHO11b]. The process model is an abstract and simplified description of what will be the actual CHOReOS software development process to be defined at M24. The process model describes the "strategy" to be used during the choreography life cycle from design, to development, to maintenance (and hence from static, to runtime, to evolution). The model is made up of activities, common to (almost) every process, but structured in a particular way (i.e., the "CHOReOS way"), hence distinguishing the CHOReOS development process from others.

Published
2011

193. Annual Report on CHOReOS Dissemination - 1st year (D9.3.1)

Author

Silingas, Darius, Bertolino, Antonia, Issarny, Valérie, Nuel, Catherine, Lockerbie, James, Autili, Marco, Zarras, Apostolos, Egils, Ginters, Parathyras, Thanassis, Batista, Daniel Macedo, Panza, Gian Marco, No Magic Europe (NME), No Magic Europe, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), OW2, OW2 Consortium, City University London, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Department of Computer Science [Ioannina], University of Ioannina, Sociotechnical Systems Engineering Institute (SSII VIA), Vidzeme University of Applied Sciences, Virtual Trip Group (VTRIP), VTRIP, Department of Computer Science (IME-USP), University of São Paulo (USP), Abdus Salam International Centre for Theoretical Physics [Trieste] (ICTP), European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), and Universidade de São Paulo = University of São Paulo (USP)

Subjects
Publications, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Dissemination, HAL, Web presence
Abstract

This report summarizes achievement of the CHOReOS project in terms of disseminating project's goals and results during the first year. It further provides links to the concrete material that has been disseminated so far, hence enabling the interested reader to get access to the published material to know more about CHOReOS.

Published
2011

194. Specification of the CHOReOS IDRE (D5.2)

Author

Ben Hamida, Amira, Lockerbie, James, Bertolino, Antonia, Angelis, Guglielmo De, Georgantas, Nikolaos, Pathak, Animesh, Bartkevicius, Rokas, Châtel, Pierre, Autili, Marco, Tivoli, Massimo, Di Ruscio, Davide, Zarras, Apostolos, Besson, Felipe, Santos, Carlos Eduardo Moreira Dos, Cukier, Daniel, Leite, Leonardo Alexandre Ferreira, Oliva, Gustavo, Ngoko, Yanik, PetalsLink, City University London, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), No Magic Europe (NME), No Magic Europe, Alcatel-Thalès III-V lab (III-V Lab), THALES [France]-ALCATEL, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Department of Computer Science [Ioannina], University of Ioannina, Instituto de Matemática e Estatística (IME), Universidade de São Paulo = University of São Paulo (USP), Department of Computer Science (USP), Department of Computer Science (IME-USP), European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), THALES-ALCATEL, Università degli Studi dell'Aquila (UNIVAQ), Universidade de São Paulo (USP), and University of São Paulo (USP)

Subjects
Middleware, Governance, Service, IDRE, Monitoring, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Integration, Service Composition, Choreography, Development, Service Access, Service Discovery, TDD, Runtime, V&V, Grid, Cloud
Abstract

This deliverable focuses on the design of the CHOReOS Integrated Development and Runtime Environment, aka CHOReOS IDRE, based on the supporting solutions developed within WP2, WP3 and WP4 during CHOReOS' 1st year. The document provides an overall description of the IDRE components, their respective functionalities and the integration dependencies between them, thereby defining the integration points between the components developed in WP2-3-4.

Published
2011

195. Enhancing Trustworthiness within Service Federations by Continuous On-line Testing

Author

Bertolino, Antonia, De Angelis, Guglielmo, Kellomäki, Sampo, Polini, Andrea, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Università degli Studi di Camerino = University of Camerino (UNICAM), European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), and Università degli Studi di Camerino (UNICAM)

Subjects
SOA On-line Testing, Role Based Access Control, SOA On-line Testing, Trustworthiness in SOA, Role Based Access Control, Service Federation, rolecast, (role)CAST, ZXID, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], rolecast, ZXID, Trustworthiness in SOA, Service Federation, (role)CAST
Abstract

to appear, accepted for publication; International audience; Security, data protection, trust management, authentication and authorization are crucial assets in the Internet of Services. We propose and illustrate On-line Testing as an important means to enhance trustworthiness among federated services that are often independently developed, deployed, and maintained.

Published
2011

196. CHOReOS perspective on the Future Internet and initial conceptual model (D1.2)

Author

Autili, Marco, Di Ruscio, Davide, Salle, Amleto Di, Georgantas, Nikolaos, Hachem, Sara, Issamy, Valérie, Parathyras, Athanasios, Trimintzios, Lefteris, Silingas, Darius, Lockerbie, James, Maiden, Neil, Ben Hamida, Amira, Bertolino, Antonia, Angelis, Guglielmo De, Polini, Andrea, Athanasopoulos, Dionysis, Zarras, Apostolos, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Virtual Trip Group (VTRIP), VTRIP, No Magic Europe (NME), No Magic Europe, City University London, PetalsLink, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Università degli Studi di Camerino = University of Camerino (UNICAM), Department of Computer Science [Ioannina], University of Ioannina, European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), Università degli Studi dell'Aquila (UNIVAQ), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), and Università degli Studi di Camerino (UNICAM)

Subjects
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Abstract

The D1.2 deliverable outlines the CHOReOS perspective on the Future Internet and its conceptualization. In particular, the deliverable focuses on: - Definition of the Future Internet and related Future Internet of Services and (Smart) Things, as considered within CHOReOS, further stressing the many dimensions underpinning the Ultra-Large Scale of the Future Internet; - Definition of the initial conceptual model of the CHOReOS Service-Oriented Architecture (SOA) for the Future Internet, identifying the impact of the ULS dimensions upon the traditional SOA paradigms and associated infrastructure.

Published
2011

197. Compositional Algebra of CONNECTors

Author

Autili, Marco, Bertolino, Antonia, Chilton, Chris, Di Marco, Antinisca, Di Giandomenico, Felicita, Inverardi, Paola, Jonsson, Bengt, Kwiatkowska, Marta, Martinucci, Marco, Qu, Hongyang, Sabetta, Antonino, Tivoli, Massimo, University of L'Aquila [Italy] (UNIVAQ), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Computing Laboratory (OUCL), University of Oxford [Oxford], Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Dept of Economics, Stockholm School of Economics (SSE), European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), University of Oxford, and Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

The CONNECT project aims to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with each other via on-the-fly synthesis of emergent connectors. The role of Work Package 2 (WP2) is to investigate the foundations and verification methods for composable connectors, so that support is provided for composition of networked systems, whilst enabling automated learning, reasoning and synthesis. In the second year, we focused our attention on providing an underpinning for a framework capable of supporting the dimensions of interest to the project, and the generalisation of assume-guarantee properties beyond probabilistic safety properties, in addition to supporting the automated learning of assumptions. In this deliverable, we report on work carried out in two streams, compositional theory of connector behaviours and compositional assume-guarantee verification for probabilistic automata, which we are beginning to bring together. At the theory level, we first considered several probabilistic models, focusing on their interactive behaviour and asynchronous parallel composition. We then conducted a survey of the different formalisms of component models from the viewpoint of whether they supported a number of operators (e.g. parallel composition, conjunction and quotient) and a refinement relation. Based on this, we concluded that interface automata were one of the most amenable formalisms for basing an algebra of CONNECTors upon. We have formulated a preliminary (non-quantitative) connector algebra for resolving protocol mismatches based on interface automata. A software tool IAAnalyzer was implemented to allow users to create interface automata models using the connector algebra. In order to address the need for a quantitative extension, we have proposed a specification theory based on a probabilistic extension of interface automata. In the second stream, we continued our work on compositional assume-guarantee verification for probabilistic automata, extending the framework to allow, as assumptions and guarantees, a broader class of quantitative multi-objective properties which include probabilistic liveness and expected rewards. We also proposed a novel learning technique based on the L* algorithm, which automatically generates probabilistic (safety) assumptions using the results of queries executed by a probabilistic model checker. These two techniques have been implemented for PRISM, a well-known probabilistic model checker. Finally, we have laid the foundations for a comprehensive framework capable of modelling the quantitative (in particular the probabilistic) behaviour of arbitrary components and associated compositional assume-guarantee proof rules. Connectors arise as certain types of components. This framework is intended to integrate the two streams of work.

Published
2011

198. Design of Approaches for Dependability and Initial Prototypes

Author

Bertolino, Antonia, Calabro, Antonello, Chiaradonna, Silvano, Costa, Gabriele, Di Giandomenico, Felicita, Di Marco, Antinisca, Fusani, Mario, Grandoni, Fabrizio, Issarny, Valerie, Kwiatkowska, Marta, Marcheti, Eda, Martinelli, Fabio, Martinucci, Marco, Masci, Paolo, Matteucci, Ilaria, Qu, Hongyang, Saadi, Rachid, Sabetta, Antonino, Vaccarelli, Anna, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Istituto di Informatica e Telematica (IIT-CNR), Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Computing Laboratory (OUCL), University of Oxford [Oxford], European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), and University of Oxford

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

The aim of CONNECT is to achieve universal interoperability between heterogeneous Networked Systems. For this, the non-functional properties required at each side of the connection going to be established must be fulfilled. By the one inclusive term "CONNECTability" we comprehend properties belonging to all four non-functional concerns of interest for CONNECT, namely dependability, performance, security and trust. We model such properties in conformance with a meta-model which establishes the relevant concepts and their relations. Then, building on the conceptual models proposed in the first year in Deliverable D5.1, in this document we present the approaches developed for assuring CONNECTability both at synthesis time and at runtime. The contributions include: the Dependability&Performance analysis Enabler, for which we release a modular architecture supporting stochastic verification and state-based analysis; incremental verification and event-based monitoring for runtime analysis; a model-based approach to interoperable trust management; the Security-by-Contract-with-Trust framework, which guarantees and enforces the expected trust levels and security policies.

Published
2011

199. CHOReOS State of the Art, Baseline, and Beyond (D1.1)

Author

Issarny, Valérie, Bertolino, Antonia, de Angelis, Guglielmo, Ben Amida, Amira, Lorré, Jean-Pierre, Georgantas, Nikolaos, Pathak, Animesh, Lockerbie, James, Maden, Neil, Autili, Marco, Di Ruscio, Davide, Tivoli, Massimo, Athanasopoulos, Dionysis, Vassiliadis, Panos, Zarras, Apostolos, Goldman, Alfredo, Gerosa, Marco Aurelio, Kon, Fabio, de Giorgio, Teodoro, Panza, Gianmarco, Zuccalà, Maurilio, Polini, Andrea, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), EBM WebSourcing / Petals Links, EBM WebSourcing, City University London, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), Department of Computer Science [Ioannina], University of Ioannina, Department of Computer Science (USP), University of São Paulo (USP), Department of Computer Science (IME-USP), CEFRIEL, ICT Institute of Politecnico di Milano, Università degli Studi di Camerino (UNICAM), European Project: 257178,EC:FP7:ICT,FP7-ICT-2009-5,CHOREOS(2010), CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Universidade de São Paulo = University of São Paulo (USP), and Università degli Studi di Camerino = University of Camerino (UNICAM)

Subjects
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Abstract

The D1.1 deliverable clarifies baseline, progress, and state of the art that CHOReOS will address. For each of the first four CHOReOS work packages, WP1 to WP4, this deliverable gives a precise definition of the state of the art, an indication of the envisaged progress beyond the state of the art by CHOReOS and the baseline for its research.

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results