Skip to main content
SpringerLink
Log in

Web Services and Formal Methods

4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Marlon Dumas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reiko Heckel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4937)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: WS-FM 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Towards a Theory of Web Service Choreographies

    • Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao
    Pages 1-16

  3. Controlling Petri Net Process Models

    • Jörg Desel
    Pages 17-30

  4. Extending Model Checking to Data-Aware Temporal Properties of Web Services

    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour
    Pages 31-45

  5. Analyzing BPEL4Chor: Verification and Participant Synthesis

    • Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig
    Pages 46-60

  6. Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers

    • Qin Li, Huibiao Zhu, Jing Li, Jifeng He
    Pages 61-76

  7. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

    • Niels Lohmann
    Pages 77-91

  8. From BPEL to SRML: A Formal Transformational Approach

    • Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
    Pages 92-107

  9. Modeling Web Service Interactions Using the Coordination Language Reo

    • Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani
    Pages 108-123

  10. Synthesis of Web Services Orchestrators in a Timed Setting

    • Fabio Martinelli, Ilaria Matteucci
    Pages 124-138

  11. From Public Views to Private Views – Correctness-by-Design for Services

    • Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
    Pages 139-153

  12. Event Structure Semantics of Orc

    • Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, Claude Jard
    Pages 154-168

  13. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Services and Formal Methods

Keywords

About this book

This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc. Formal methods have a fundamental role to play in shaping innovations in Web service technology. For instance, formal methods help to de?ne and to understand the semantics of languages and protocols that underpin existing infrastructures for Web services, and to formulate features that are found to be lacking. They also provide a basis for reasoning about Web service behaviour, for example to discover individual services that can ful?l a given goal, or even to compose multiple services that can collectively ful?l a goal. Finally, formal analysis of security properties and performance are relevant in many application areas of Web services such as e-commerce and e-business.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation