Call for Papers

QASBA 2013
2nd International Workshop on
Quality Assurance for Service-based applications

co-located with ISSTA 2013
Lugano, Switzerland, July 15, 2013

http://fmt.isti.cnr.it/qasba2013/

*** deadline extended to April 29 ***

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
* diagnosis, 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 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 at (http://fmt.isti.cnr.it/qasba2013/submission.html)

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.



Important Dates:

Paper Submission: April 29, 2013 (anywhere on Earth)

Author notification: May 15, 2013

Camera-ready papers: May 28, 2013


Organizers and Program Committee chairs

Domenico Bianculli (University of Luxembourg, Luxembourg)
Sam Guinea (Politecnico di Milano, Italy)
Sylvain Hallé (Université du Québec à Chicoutimi, Canada)
Andrea Polini (ISTI-CNR, Italy)


Program Committee

Nadia Alshahwan (University of Luxembourg, Luxembourg)
Colin Atkinson (University of Mannheim, Germany)
Luciano Baresi (Politecnico di Milano, Italy)
Samik Basu (Iowa State University, USA)
Guglielmo De Angelis (ISTI-CNR, Italy)
Massimiliano Di Penta (University of Sannio, Italy)
Dimitris Dranidis (CITY College, Greece)
Schahram Dustdar (Vienna University of Technology, Austria)
Antonio Filieri (University of Stuttgart, Germany)
Lars Frantzen (Frantzen C&D, Germany)
Hans-Gerhard Gross (Delft University of Technology, Netherlands)
William G.J. Halfond (University of Southern California, USA)
Raman Kazhamiakin (SayService srl, Italy)
Grace A. Lewis (Carnegie Mellon University, USA)
Jordi Marco (Universitat Politècnica de Catalunya, Spain)
Annapaola Marconi (FBK-IRST, Italy)
Hamid Mcheick (Université du Québec à Chicoutimi, Canada)
Andreas Metzger (Paluno, University of Duisburg-Essen, Germany)
Shin Nakajima (National Institute of Informatics, Japan)
Cu Duy Nguyen (FBK-IRST, Italy)
Olivier Perrin (Nancy 2 University/Loria, France)
Martin Pinzger (University of Klagenfurt, Austria)
Franco Raimondi (Middlesex University, United Kingdom)
Stephan Reiff-Marganiec (Leicester University, United Kingdom)
Florian Rosenberg (IBM Research, USA)
Antonino Sabetta (SAP Research, France)
Gwen Salaün (Grenoble INP/INRIA, France)
Jocelyn Simmonds (Universidad Técnica Federico Santa María, Chile)
George Spanoudakis (City University London, United Kingdom)
Paola Spoletini (University of Insubria, Italy)
Wolfgang Theilmann (SAP AG, Germany)
Javier Troya (University of Malaga, Spain)
Roger Villemaire (Université du Québec à Montréal, Canada)
Apostolos Zarras (University of Ioannina, Greece)
Gianluigi Zavattaro (University of Bologna, Italy)

Contact:
qasba2013@easychair.org

Twitter:
http://twitter.com/qasba2013