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

• 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.

Important dates

Invited speakers

Program committee

Program co-chairs

Submission procedure

Submitted papers should present original unpublished work and cannot be under review for publication elsewhere. Each paper will undergo a thorough evaluation by at least three reviewers, chosen by the Program Committee. Contributions should be in PDF format and prepared in LaTeX using the EPTCS-style format (http://style.eptcs.org/) and should not exceed 15 pages (typeset 11 points).

Submissions are handled using the EasyChair online system. Papers should be submitted to the submission website for WWV 2012.

Accepted papers will be included in the pre-proceedings, which will be made available in electronic form through this web site. Submission is a firm commitment that at least one of the authors will attend the workshop, if the paper is accepted.

After the workshop, authors of accepted papers will be asked to prepare, by incorporating insights gathered during the event, a final version of their paper to be published in the post-proceedings.

Special Issue in the Journal of Logic and Algebraic Programming

All authors of WWV 2012 are invited to submit an extended version of their articles to an special issue of the Journal of Logic and Algebraic Programming. You can download the call for papers here.

The important dates for the special issue are the following:

IMPORTANT DATES

Program

Accepted Papers

	Using the DOM Tree for Content Extraction
	Sergio López, Josep Silva and David Insa
	Model Validation in Ontology based Transformations
	Jesus M. Almendros-Jimenez and Luis Iribarne
	Sessionizing BPEL
	Jonathan Michaux, Elie Najm and Alessandro Fantechi
	Automatic WSDL-guided Test Case Generation for Property-Based Testing of Web Services
	Leonidas Lampropoulos and Konstantinos Sagonas
	Analyzing Consistency of Behavioral REST Web Service Interfaces
	Irum Rauf, Ali Hanzala Khan and Ivan Porres
	The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
	James Smith

Proceedings of WWV 2012

Registration

The registration process can be made online at the registration page of Discotec 2012.

The registration fee for WWV 2012 is 1000 SEK.
This fee includes:

• Admission to tutorials/workshops
• Material on USB stick
• Lunches and coffee break
• Welcome reception

Location and travel

WWV 2012 will take place in Stockholm, Sweden, on June 16, 2012. The workshop will take place on the KTH Campus in downtown Stockholm.

WWV 2010 is part of Discotec 2012 that is organized by KTH Royal Institute of Technology.

For updated information about traveling and accommodation, please visit: http://discotec.ict.kth.se/