Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Njima M. N. Product lines for service oriented applications - PL for SOA. In: WWV 2011 - 7th Workshop on Automated Specification and Verification of Web Systems (Reykjavik, Iceland, 9 Giugno 2011). Proceedings, vol. 61 pp. 34 - 48. L. Kovacs, R. Pugliese, F. Tiezzi (eds.). EPTCS, 2011.
PL for SOA proposes, formally, a software engineering methodology, development techniques and support tools for the provision of service product lines. We propose rigorous modeling techniques for the specification and verification of formal notations and languages for service computing with inclinations of variability. Through these cutting-edge technologies, increased levels of flexibility and adaptivity can be achieved. This will involve developing semantics of variability over behavioural models of services. Such tools will assist organizations to plan, optimize and control the quality of software service provision, both at design and at run time by making it possible to develop flexible and cost-effective software systems that support high levels of reuse. We tackle this challenge from two levels. We use feature modeling from product line engineering and, from a services point of view, the orchestration language Orc. We introduce the Smart Grid as the service product line to apply the techniques to.
URL: http://arxiv.org/abs/1108.2350v1
DOI: 10.4204/EPTCS.61.3
Subject Product Lines
Service Oriented Architectures
Specification and verification
Smart Grid
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