PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Fantechi A., Gnesi S., Zavattaro G. Modelling variability, evolvability, and adaptability in service computing. In: ACoTA 2010 - First International Workshop on Automated Configuration and Tailoring of Applications (Antwerp, Belgium, 20 Settembre 2010). Proceedings, pp. 14 - 19. Deepak Dhungana, Rick Rabiser, Norbert Seyff, Goetz Botterweck (eds.). (CEUR Workshop Proceedings, vol. 688). CEUR-WS.org, 2010.
 
 
Abstract
(English)
We present a vision for future research on an emerging topic in software engineering, namely the synergy between Software Product Line Engineering (SPLE) and Service-Oriented Computing (SOC). Our aim is to develop rigorous modelling techniques and analysis and verification tools that can be used for the systematic, large-scale provision and market segmentation of "software services". We foresee flexible design techniques with which "software service line organizations" 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 design, based on policies and strategies defined by service providers, we envision the possibility to identify variability points that can be triggered at run time to increase adaptability and optimize the (re)use of resources.
URL: http://ceur-ws.org/Vol-688
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
F.4.1 Mathematical Logic


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