Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012)

This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16, 2012, as part of DisCoTec 2012, the 7th International Federated Conference on Distributed Computing Techniques. Previous WWV workshops were held in Reykjavik (2011), Vienna (2010), Hagenberg (2009), Siena (2008), Venice (2007), Cyprus (2006), and Valencia (2005). Information about the workshop can be found at: http://users.dsic.upv.es/~jsilva/wwv2012/ WWV is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. WWV has a reputation for being a lively, friendly forum for presenting and discussing work in progress. The proceedings have been produced after the symposium to allow the authors to incorporate the feedback gathered during the event in the published papers. All papers submitted to the workshop were reviewed by at least three Program Committee members or external referees. The Program Committee held an electronic discussion leading to the acceptance of all papers for presentation at the workshop. In addition to the presentation of the contributed papers, the scientific programme included the invited talks by two outstanding speakers: Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) and Josè Luiz Fiadeiro (Royal Holloway, United Kingdom). We would like to thank them for having accepted our invitation. We want to thank the Program Committee members, who worked diligently to produce high-quality reviews for the submitted papers, as well as all the external reviewers involved in the reviewing process. Many thanks to the authors of the submitted papers and to all workshop participants. Thanks also go to the steering committee members of WWV for their valuable advice. We are very grateful to the DisCoTec 2012 General Chair Jim Dowling (KTH, Sweden), the DisCoTec 2012 Workshops Chair Rui Oliveira (Universidade do Minho, Portugal), and the local organizers for the great job they did in preparing the event. We would also like to thank Andrei Voronkov for his excellent EasyChair system that automates many of the tasks involved in chairing a conference. Finally, we wish to thank the editorial board of the Electronic Proceedings in Theoretical Computer Science (EPTCS) for publishing these proceedings in their series