Cover ERCIM News 62

This issue in pdf
(64 pages; 10,4 Mb)


Cover ERCIM News 61
previous issue:
Number 61
January 2005:
Special theme:
Biomedical Informatics

previous issues online

Next issue:
October 2005

Next Special theme:
Security and Trust Management

Call for the next issue

About ERCIM News

< Contents ERCIM News No. 62, July 2005

WWV 2005 - First Workshop on Automated Specification and Verification of Web Sites

by María Alpuente, Santiago Escobar and Moreno Falaschi

The First International Workshop on Automated Specification and Verification of Web Sites (WWV 05) was held in Valencia, Spain, during March 14-15, 2005.

This was the first workshop in a series aimed at promoting a common forum for researchers from the communities of rule-based programming, automated software engineering, and web-oriented research.

The workshop was attended by 42 participants from universities, research institutes, and companies from eleven countries. The two invited speakers gave highly interesting and stimulating presentations. Anthony Finkelstein, from the University College of London, UK, spoke about checking complex, distributed data against business rules, reference data and industry standards as a way to avoid operational errors and large, daily losses in data intensive businesses due to inconsistent data. Shriram Krishnamurthi from Brown University, USA, spoke on the pros and cons of two different approaches to web site verification: the static view of a web site as program source and the dynamic view of a seb site as an entity with different contextual or temporal behaviors.

The Programme Committee had selected ten regular papers, two position papers, and six system descriptions or works in progress. All of them spanning formal methodologies and techniques as diverse and complementary as (i) formal models for describing and reasoning about web wites, (ii) testing, validation and categorization of web sites, (iii) accessibility evaluation, (iv) XML transformation and optimization, (v) Rule-based approaches to seb site analysis and verification, and (vi) model-checking and static analysis applied to the web. The proceedings of the workshop are published as a technical report of the Departamento de Sistemas Informáticos y Computación of the Universidad Politécnica de Valencia. A selection of the papers will appear in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS).

The programme and workshop chairs wish to thank the organisations that have supported the event, especially the EU-India project ALA/95/23/2003/077-054, Università degli Studi di Siena, CologNET, Technical University of Valencia, and the Spanish Ministry of Education and Science.


Please contact:
Maria Alpuente, DSIC-UPV, Valencia, Spain
Tel: +34 963 879 354