Oxford University Computing Laboratory, C C L R C National University of Singapore, School of Computing
W3C UK and Ireland Regional Office logo BCS-FACS Specialist Group logo

International Workshop on Web Languages and Formal Methods

WLFM 2005

Associated with FM'05, 19 July 05, University of Newcastle upon Tyne, UK

Endorsed by the W3C Office for the UK and Ireland

Sponsored by the BCS Formal Aspects of Computing Science Specialist Group

Workshop Home

Call for Papers (PDF)

Submission

Programme

Invited Speaker

Registration

Important Dates

Cochairs

Programme Committee

FM 2005

The 'Semantic Web' initiative of the World Wide Web Consortium (W3C) aims at extending the current Web to facilitate Web automation and universally accessible content. The Semantic Web includes several layers of development. At the bottom there is an infrastructure to identify, locate and transform resources in a robust and safe way. Such infrastructure is accompanied by a set of Web languages, such as XML, RDF, OWL among others, for expressing resource properties. At the top, there are applications exploiting the resources of the Semantic Web.

The Semantic Web, and Web languages in particular, present challenges and opportunities for the Formal Methods community. On one hand, Web technologies based on XML can provide good infrastructure for developing tools and environments for formal software designs because they allow sharing of design models and provide various links among the models. For example, the CZT team (a part of Z User Community) has developed an XML-based standard interchange formats for Z (ZML) to promote interoperability and constructions of open-source case tools. The success of the Semantic Web may also have impact on the tools environment for formal methods.

On the other hand, formal methods and tools can also be applied to the Web-Service/Semantic-Web domain. For example, generating Web ontology/rules from formal specification models and checking/verifying XML/Semantic-Web based services and agents could be novel application domains for formal methods. Formal methods may also provide sound semantics/extensions and tools support for various Web languages and techniques, such as WSDL, OWL-S, SWRL etc.

This workshop aims to report new research results in this area. We welcome submissions of original research papers and reports on tools that are related to:

  • Adding Formal Specification Constructs to Web Languages
  • Collaborative Formal Development through Web
  • Electronic Commerce and Formal Techniques
  • Formal Approaches to Web Agents
  • Formal Methods Based Testing for Web Systems
  • Formal Methods for Web Ontologies and Rules
  • Formal Methods for Web Systems Composition and Communications
  • Formal Methods for XML-based Web Services
  • Formal Methods for Semantic Web Services
  • Model Checking and Verification of Web Systems
  • Refinement Techniques for Web Services Development
  • Semantics and Tools for Web Languages
  • XML/Semantic-Web Based Tools for Formal Methods