Skip to Main content Skip to Navigation
Conference papers

Producing software by integration: challenges and research directions (keynote)

Paola Inverardi 1 Marco Autili 2 Davide Di Ruscio 3 Patrizio Pelliccione 3 Massimo Tivoli 3
1 SeaGroup
2 SeaGroup
3 SeaGroup
SeaGroup
Abstract : Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges.
Keywords : Dependable software systems automated synthesis model elicitation model-driven engineering
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00866453
Contributor : Marco Autili <>
Submitted on : Thursday, September 26, 2013 - 4:13:41 PM
Last modification on : Monday, October 19, 2020 - 8:26:03 PM

Identifiers

Collections

CHOREOS

Citation

Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli. Producing software by integration: challenges and research directions (keynote). Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, Aug 2013, New York, NY, USA, Russia. pp.2--12, ⟨10.1145/2491411.2505428⟩. ⟨hal-00866453⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

154

 

Contact                    Legal Notice                    Personal Data