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
Type de document :
Communication dans un congrès
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, Aug 2013, New York, NY, USA, Russia. ACM, pp.2--12, 2013, 〈10.1145/2491411.2505428〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00866453
Contributeur : Marco Autili <>
Soumis le : jeudi 26 septembre 2013 - 16:13:41
Dernière modification le : lundi 13 octobre 2014 - 15:43:25

Identifiants

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. ACM, pp.2--12, 2013, 〈10.1145/2491411.2505428〉. 〈hal-00866453〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

77

Contact


archive-ouverte@inria.fr