| |||||||||||||||
QASBA 2013 : 2nd International Workshop on Quality Assurance for Service-based Applications | |||||||||||||||
Link: http://fmt.isti.cnr.it/qasba2013/index.html | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
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 |
|