Workshop on Testing, Analysis and Verification
of Web Services and Applications
In conjunction with
Holiday Inn by the Bay, Portland, Maine, Monday, July 17, 2006
Workshop Program (and
slides from the presentations)
Previous TAV-WEB Workshop (TAV-WEB 2004)
Purpose and Scope
applications, which enable users to access the services and the products
provided by businesses via Web browsers, have been extremely successful
in many application domains including retail
(such as Amazon and Travelocity) and finance
(such as on-line trading and banking).
Web services extend this framework
by providing tools and languages for
establishment and management of interactions
among Web accessible software applications in order to automate
business to business transactions.
The success of these technologies in electronic commerce and
their increasing use in safety critical applications makes dependability
of Web based software an important problem.
Developing dependable Web services and applications
will require effective testing, analysis and
verification techniques and tools that address not only the needs of
software in general but also the specific challenges presented by
the software applications in this domain, such as:
The goal of this workshop will be to bring together members of the
academic, research, and industrial community interested in testing,
analysis and verification of Web services and applications.
We encourage original submissions in any field of testing, analysis
and verification that focus on dependability of Web services and
Areas of interest interest include (but not limited to) the following
topics specifically applied to Web software:
- Their distributed nature makes testing, analysis and verification
- They are prone to concurrency errors
since they rely on concurrent processing of user/service requests.
- Interfaces play an important role in their coordination
and interface violations can cause serious problems.
- Diverse communication mechanisms such as synchronous and asynchronous
messaging and remote procedure calls result in complex interaction behavior.
- New languages (such as BPEL)
and data formats (such as XML) introduced for this particular domain
present new challenges.
- Security is an important problem given the cross-enterprise
exchange of potentially sensitive data.
Accepted papers will be published in the ACM Digital Library.
- automated testing and verification,
- reverse engineering techniques and tools for testing and analysis,
- formal methods for describing and reasoning about Web software,
- documenting, modeling, and reasoning about architecture,
- model-driven testing,
- object-oriented and aspect-oriented programming methods,
- static analysis techniques,
- XML-based messaging,
- Web service descriptions,
- coordination and composition of Web services,
- interaction and choreography among Web services.
Paper submission is closed.
Submitted papers must be prepared in
ACM conference format,
maximum 10 pages in camera-ready form,
including figures and references.
Papers must be submitted in PDF format via the paper submission site
(which will be up soon).
We request authors to use typefaces that render well on screen
rather than being displayed through bitmaps.
- Papers submission: May 1, 2006
- Author Notification: May 20, 2006
- Camera Ready: June 03, 2006
- Workshop: July 17, 2006
- Carlo Bellettini, Universita degli Studi di Milano, Italy
- Tevfik Bultan (Chair), University of California, Santa Barbara, USA
- Xiang Fu, Georgia Southwestern State University, USA
- Tom Henzinger, EPFL, Switzerland
- Yvan Labiche, Carleton University, Ottawa, Canada
- Giuseppe A. Di Lucca, University of Sannio, Benevento, Italy
- Alessandro Marchetto, University of Milan, Italy
- Lori Pollock, University of Delaware, USA
- Michael I. Schwartzbach, University of Aarhus, BRICS, Denmark
- Jeff Tian, Southern Methodist University, Dallas, USA
- Andrea Trentini, Universita degli Studi di Milano, Italy
- W. Eric Wong, University of Texas at Dallas, USA
- Tao Xie, North Carolina State University, USA
- Andrea Zisman, City University, London, UK
- Carlo Bellettini
(carlo.bellettini at unimi.it)
Universita degli Studi di Milano
- Tevfik Bultan
(bultan at cs.ucsb.edu)
University of California, Santa Barbara
- Xiang Fu
(xfu at canes.gsw.edu)
Georgia Southwestern State University
- Andrea Trentini
(andrea.trentini at unimi.it)
Universita degli Studi di Milano