1st International Workshop on Verification, Analysis, and Testing of Service Systems (VATSS11) at ESEC/FSE 2011 - Szeged, Hungary, September 2011
Service-orientation has provided us with a powerful new abstraction. Services enable integration, and allow the development of systems that are easier to adapt in the wake of anomalies or to take advantage of new opportunities. The result is that the abstraction has become pervasive, and is now being used outside the realm of traditional software artifacts. We have embedded services, mobile services, and real-time services. Cloud-computing describes and provides infrastructures and platforms as services, and the "Internet of Services" is becoming a reality. Innovative applications are taking more and more advantage of extremely diverse artifacts, thanks to the harmonization possible through a common abstraction.
The VATSS workshop will bring together researchers and practitioners to highlight design, testing, analysis, and verification techniques for service- and cloud-based systems, and discuss how these techniques can assist us as we transition from single- to multi-layered service-based systems. Participants are invited to review the state of the art and practices, report requirements and constraints from real-world systems, discuss drawbacks and the need to extend current approaches, or present recent new ideas and preliminary results. The workshop will concentrate on the challenges that have been or need to be faced, and the opportunities that have emerged or can be forecast.
Important Dates
Paper Submission: June 15,2011
Notification: July 4, 2011
Camera Ready: July 12,2011
