Client and server verification for web services using interface grammars

摘要

The last decade has seen the explosive growth of interactive Web software applications in a diverse set of domains including retail, electronic commerce, wikis, blogs, social network services, etc. This explosive growth is likely to accelerate further by adoption of the service oriented computing paradigm that enables interactions among Web accessible software components. Challenges in developing Web accessible software have inspired a new wave of languages, standards, and tools that have not yet become part of the mainstream software engineering research and education. On the other hand, an increasingly large number of software developers work exclusively on Web software development. >TAV-WEB 2008 is the third in a series of workshops that focus on testing, analysis and verification of web software. The scope of TAV-WEB 2008 has been extended (from the web service scope of previous workshops TAV-WEB 2004 and TAV-WEB 2006) to include all Web software. The goal of these workshops hasbeen to bring together researchers from academic, research, and industrial communities interested in the emerging area of dependable Web software development, to present and discuss their recent research results. >The TAV-WEB 2008 program consists of seven technical papers and an invited tool demonstration reporting recent research results on testing, analysis and verification of web software.