QASBA 2011 - International Workshop on Quality Assurance for Service-Based Applications

International Workshop on
Quality Assurance for Service-based applications

co-located with ECOWS 2011
Lugano, Switzerland, September 14, 2011

http://www.inf.usi.ch/phd/bianculli/qasba2011/

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 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 at
http://www.inf.usi.ch/phd/bianculli/qasba2011/subm...

The workshop proceedings will be published as an ICPS volume by ACM,
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: June 27, 2011

Author notification: July 15, 2011

Camera-ready papers: August 03, 2011

Organizers and Program Committee chairs

Domenico Bianculli (University of Lugano, Switzerland)
Andreas Metzger (University of Duisburg-Essen, Germany)
Andrea Polini (University of Camerino, Italy)

Program Committee

Luciano Baresi (Politecnico di Milano, Italy)
Manuel Carro (Universitat Politècnica de Madrid, Spain)
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)
Howard Foster (City University London, United Kingdom)
Xavier Franch (Universitat Politècnica de Catalunya, Spain)
Lars Frantzen (Frantzen C&D, Germany)
Nikolaos Georgantas (INRIA Paris-Rocquencourt, France)
Hans-Gerhard Gross (Delft University of Technology, Netherlands)
Sam Guinea (Politecnico di Milano, Italy)
Sylvain Hallé (Université du Québec à Chicoutimi, Canada)
Mark Harman (University College London, United Kingdom)
Raman Kazhamiakin (SayService srl, Italy)
Grace A. Lewis (Carnegie Mellon University, USA)
Shin Nakajima (National Institute of Informatics, Japan)
Olivier Perrin (Nancy 2 University/Loria, France)
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)
Paolo Tonella (Fondazione Bruno Kessler, Italy)
Sebastian Uchitel (Imperial College London, United Kingdom and Universidad de Buenos Aires, Argentina)
Apostolos Zarras (University of Ioannina, Greece)

Contact:
qasba2011-AT-gmail.com

Twitter:
http://twitter.com/qasba2011