2nd International Workshop on Quality Assurance for Service-based applications (QASBA 2013)
at ISSTA 2013 – Lugano, Switzerland, 15 July 2013
Call for Papers
The service-oriented computing paradigm has been widely adopted in enterprises as a means to implement distributed computing solutions. These solutions are realized as service-based applications (SBAs), by integrating heterogeneous software services, usually developed, controlled and owned by different organizations.
Given the availability of mechanisms for run-time service discovery and binding, the service-oriented paradigm fosters a further level of dynamicity where service integration emerges at run time and evolves over time. Nevertheless the run-time integration of services owned and controlled by different organizations, as well as the unprecedented degree of change allowed in such systems, affects the notion of correctness, dependability, and quality of SBAs.
This poses a challenge for the definition of new methodologies and techniques for the quality assurance process of this class of software. The consensus is that the quality assurance process has to span over the entire life cycle of a service-based application, integrating both design-time and run-time techniques; yet the approaches remain fragmented.
The QASBA workshop seeks original high-quality papers related, but not limited, to the following topics:
- specification languages for functional and extra-functional properties of SBAs
- testing, static analysis and model checking approaches for SBAs
- formal methods for specifying and analyzing SBAs
- run-time verification, run-time monitoring and online testing of SBAs
- integration of design-time and run-time QA techniques
- multi-layered analysis techniques for cloud infrastructures
- service choreography specification and enactment
- governance definition and supporting infrastructure in a multi-parties setting
- trust among parties providing services to be integrated at run time
- tool support and methodologies for quality assurance of SBAs
- QoS assessment and validation
- sustainability analysis of service-based infrastructures
Three kinds of contributions are sought:
- short position papers (not to exceed 4 pages in the workshop format) describing particular research gaps or lessons learned
- short industrial problem papers (not to exceed 4 pages in the workshop format) describing particular challenges that are faced in industry for what concerns quality assurance of SBAs
- full research papers (not to exceed 8 pages in the workshop format) describing novel solutions to relevant problems
Detailed instructions for the submission will be made available here.
The workshop proceedings will be published by ACM, and made available in the ACM digital library.
The content of the contributions must be original: any portion of the contribution submitted to this workshop must not have been previously published or accepted for publication, nor can it be under submission elsewhere during the review period.
One of the authors of each accepted paper has to register and present the paper at the workshop.