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.
Abstract submission |
April 17, 2012 (extended) |
Full paper submission |
April 25, 2012 (extended) |
Notification of acceptance |
May 16, 2012 |
Camera ready |
May 30, 2012 |
Workshop |
June 16, 2012 |
Jesús Almendros |
University of Almeria, Spain |
Maria Alpuente |
Universitat Politècnica de València, Spain |
Demis Ballis |
University of Udine, Italy |
Daniela Da Cruz |
Universidade do Minho, Portugal |
Santiago Escobar |
Technical University of Valencia, Spain |
Moreno Falaschi |
University of Siena, Italy |
Temur Kutsia |
Johannes Kepler University Linz, Austria |
Massimo Marchiori |
University of Padova, Italy |
Elie Najm |
Telecom ParisTech, France |
Rosario Pugliese |
University of Florence, Italy |
António Ravara |
Universidade Nova de Lisboa, Portugal |
Kostis Sagonas |
University of Uppsala, Sweden |
Emilio Tuosto |
University of Leicester, United Kingdom |
Program co-chairs
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.
Workshop post-proceedings will be published as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).
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
Submission of papers |
September 7, 2012 |
First review decision |
January 4, 2012 |
Revision due |
February 18, 2013 |
Acceptance notification |
March 18, 2013 |
Final manuscript due |
April 15, 2013 |
Expected publication |
Summer/Autumn 2013 |
08:30h - 09:00h |
Registration |
|
Lindstedtsvägen 5, Atrium (D/LV5) |
09:00h - 09:05h |
Welcome |
|
Room D2 |
09:05h - 10:00h |
Invited Talk 1 |
|
A Language-based Approach to Autonomic Computing
Rocco De Nicola |
10:00h - 10:30h |
Coffee break |
|
Session 1 (Session chair: Josep Silva) |
10:30h - 11:10h
|
Automatic WSDL-guided Test Case Generation for Property-Based Testing of Web Services
Leonidas Lampropoulos and Konstantinos Sagonas |
11:10h - 11:50h
|
Model Validation in Ontology based Transformations
Jesus M. Almendros-Jimenez and Luis Iribarne
|
11:50h - 12:30h
|
The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
James Smith |
12:30h - 14.30h |
Lunch |
14:30h - 15:30h
|
Invited Talk: Reflective Web Systems
José Luiz Fiadeiro |
15:30h - 16:00h |
Coffee break |
|
Session 2 (Session chair: Francesco Tiezzi) |
16:00h - 16:40h
|
Using the DOM Tree for Content Extraction
Sergio López, Josep Silva and David Insa
|
16:40h - 17:20h |
Sessionizing BPEL
Jonathan Michaux, Elie Najm and Alessandro Fantechi |
17:20h - 18:00h
|
Analyzing Consistency of Behavioral REST Web Service Interfaces
Irum Rauf, Ali Hanzala Khan and Ivan Porres |
18:00h - 18:10h |
Closing |
|
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
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
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/ |