The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that combine Rule-based programming, Automated software engineering, and Web-oriented research.
Started in 2005, the series of this workshop established itself as a lively, friendly event with many interactions and discussions.
The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects.
Topics
We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:
- Rule-based approaches to Web system analysis, certification, specification, verification, and optimization.
- Formal models for describing and reasoning about Web systems.
- Model-checking, synthesis and debugging of Web systems.
- Analysis and verification of linked data.
- Abstract interpretation and program transformation applied to the semantic Web.
- Intelligent tutoring and advisory systems for Web specifications authoring.
- Web quality and Web metrics.
- Web usability and accessibility.
- Testing and evaluation of Web systems and applications.
Abstract submission |
April 26, 2010 |
Full paper submission |
May 3, 2010 |
Notification of acceptance |
May 31, 2010 |
Camera ready |
June 20, 2010 |
Workshop |
July 30-31, 2010 |
Maria Alpuente Frasnedo |
Technical University of Valencia, Spain |
Demis Ballis |
University of Udine, Italy |
Jorge Manuel Neves Coelho |
University of Porto, Portugal |
Vicente Luque Centeno |
Universidad Carlos III de Madrid, Spain |
Wlodzimierz Drabent |
IPI PAN, Polish Academy of Sciences, Poland |
Santiago Escobar |
Technical University of Valencia, Spain |
Moreno Falaschi |
University of Siena, Italy |
Jens Knoop |
Vienna University of Technology, Austria |
Laura Kovács |
Vienna University of Technology, Austria |
Temur Kutsia |
Johannes Kepler University Linz, Austria |
Catherine Meadows |
Naval Research Laboratory, USA |
Program co-chairs
Submission site is CLOSED.
We will prepare workshop pre-proceedings for the workshop participants. After the workshop, an open call for a special journal issue is envisaged.