Detail

Publication date: 1 de June, 2021

8th International Workshop on Automated Specification and Verification of Web Systems

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.
Languages, models and techniques for designing, programming, and maintaining web systems.
Formal methods for describing and reasoning about Web systems.
Model-checking, synthesis and debugging of Web systems.
Automatic processing of Web systems, including filtering, bloc detection and information retrieval from Web pages.
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.
Middleware and frameworks for composition and orchestration of Web services
Web quality and Web metrics.
Web usability and accessibility.
Testing and evaluation of Web systems and applications.


Location Stockholm, Sweden
Startdate 16/06/2012
Enddate 01/01/1900
URL http://http://users.dsic.upv.es/~jsilva/wwv2012/