Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Fantechi A., Fiadeiro J. L. Variability and Rigour in Service Computing Engineering. In: SEW 2011 - 34th IEEE Software Engineering Workshop (SEW'11) (Limerick, Ireland, 20-21 June 2011). Proceedings, pp. 122 - 127. IEEE Computer Society, Los Alamitos, CA, 2012.
We present a research agenda on an emerging topic in software engineering, namely the synergy between Software Product Line Engineering (SPLE) and Service-Oriented Computing (SOC). Our proposal is to develop rigorous modelling techniques as well as analysis and verification support tools for assisting organisations to plan, optimise, and control the quality of software service provision, both at design time and at run time. We foresee a flexible engineering methodology according to which software service line organisations can develop novel classes of service-oriented applications that can easily be adapted to customer requirements as well as to changes in the context in which, and while, they execute. By superposing variability mechanisms on current languages for service engineering, based on policies and strategies defined by service providers, we envision the possibility of identifying variability points that can be triggered at run time to increase adaptability and optimise the (re)use of resources.
DOI: http://dx.doi.org/10.1109/SEW.2011.24
Subject Software Product Line Engineering
Service-Oriented Computing
Formal methods
Verification techniques
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification - Formal methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional