Affiliated with

ISSTA 2013

Program


continental breakfast (08.00 - 09.00)
Introduction to the workshop (9.00 - 9.15)
Invited talk (09.15 - 10.15)
Break-out session (10.15 - 10.30)
Coffee Break (10.30 - 11.00)
Paper Session - Quality Assurance at Design Time (11.00 - 12.00)
Abdulrahman Alreshidi, Steffen Zschaler and Peter Mcburney. Towards a Refinement of Quality Modelling Language for Component-based Systems (QML/CS)
Selma Suloglu, Rıza Aktunc and Mustafa Yucefaydalı. Verification of Variable Service Orchestrations using Model Checking
Break-out session (12.00 - 12.30)
Lunch (12.30 - 14.00)
Invited talk (14.00 - 15.00)
Break-out session (15.00 - 15.30)
Coffee Break (15.30 - 16.00)
Paper Session - Quality Assurance at Run Time (16.00 - 17.30)
Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen and Mohamed Jmaiel. Conformance Testing for Quality Assurance of Clustering Architectures
Mariam Lahami, Moez Krichen and Mohamed Jmaiel. Runtime Testing Framework for Improving Quality in Dynamic Service-based Systems
Shin Nakajima. Safe Substitution for Service-based Applications
Closing session (17.30 - 17.45)

Invited talks

Tevfik Bultan
TITLE: Analyzing Interactions of Asynchronously Communicating Software Components
ABSTRACT: Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is specified semantically as a state machine. In the service-oriented computing domain this type of message-based communication contracts are called "choreography" specifications. A choreography specification identifies allowable ordering of message exchanges in a distributed system. A fundamental question about a choreography specification is determining its realizability, i.e., given a choreography specification, is it possible to build a distributed system that communicates exactly as the choreography specifies? In this talk we will discuss this problem and its application to web service choreographies, Singularity OS channel contracts, and UML collaboration (communication) diagrams.
SHORT BIO: Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). His current research interests are in dependability of web software and services, automated verification, string analysis, and data model specification and analysis. Tevfik Bultan co-chaired the program committees of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011) and the 20th International Symposium on the Foundations of Software Engineering (FSE 2012), and he is currently co-chairing the program committee of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013). He has served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009.


Luciano Baresi
TITLE: Is runtime validation really needed?
ABSTRACT: This invited presentation aims to debate about the problem of validating service-based applications at runtime. The first part introduces the idea of dynamic and flexible systems and identifies the key concepts that have motivated a huge burst of proposals and solutions for their runtime validation. After setting the context, the presentation provides a brief summary of the different approaches developed over the last years and tries to identify the key characteristics of each solution. The last part discusses what service-oriented applications are today, how runtime validation is used in real (industrial) settings, and what is still missing. A brief wrap-up and some ideas for future research will conclude the presentation.
SHORT BIO: Luciano Baresi is an associate professor in the Department of Electronics and Information at Politecnico di Milano. He was also visiting researcher at University of Oregon at Eugene (USA) and University of Paderborn (Germany). Luciano is a member of the editorial board of Service Oriented Computing and Applications (published by Springer). He was program co-chair of ICECCS, FASE, ICWE and ICSOC. Luciano has authored some 100 papers in international journals and conferences on various aspects of software engineering. His present research interests are in dynamic software systems, service-oriented applications, and software architectures. Luciano has a PhD in computer science from Politecnico di Milano.