International Workshop on Quality Assurance for Service-based applications (QASBA 2011)
CALL FOR PAPERS
The service-oriented computing paradigm has been widely adopted in enterprises as a mean 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 run-time integration of services owned and controlled by different organizations 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 quality assurance process has to span over the entire life cycle of a service-based application, from the design phase to the execution phase through intermediate phases such as deployment, to detect errors as early as possible.
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
- service choreography specification and enactment
- governance definition and supporting infrastructure in a a multi-parties setting
- trust among parties providing services to be integrated at run time
- tool support and methodologies for quality assurance of SBAs
Three kinds of contributions are sought:
- short position papers (not to exceed 4 pages in the workshop format) describing particular challenges or experiences relevant to the scope of the workshop
- 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.
Informal proceedings, made electronically, will be available prior the workshop. Publication of post-proceedings is under negotiation with a publisher.
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.