Skip to main content
SpringerLink
Log in

Web Services and Formal Methods

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Marco Carbone

    1. IT University of Copenhagen, Copenhagen, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Marc Petit

    1. Université de Lyon – CNRS INSA Lyon, LIRIS, Villeurbanne Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: WS-FM 2011.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (10 papers)

  1. Front Matter

    Download chapter PDF

  2. Understanding Distributed Services through the π-Calculus

    • Kohei Honda
    Pages 1-1

  3. Reliable Contracts for Unreliable Half-Duplex Communications

    • Étienne Lozes, Jules Villard
    Pages 2-16

  4. Behavior Based Service Composition

    • Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan
    Pages 17-31

  5. Compatibility of Data-Centric Web Services

    • Benoît Masson, Loïc Hélouët, Albert Benveniste
    Pages 32-47

  6. Time and Exceptional Behavior in Multiparty Structured Interactions

    • Hugo A. López, Jorge A. Pérez
    Pages 48-63

  7. Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations

    • Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya
    Pages 64-78

  8. An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework

    • José Antonio Mateo, Valentín Valero, Gregorio Díaz
    Pages 79-94

  9. Design of a BPEL Verification Tool

    • Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
    Pages 95-110

  10. Applying Process Analysis to the Italian eGovernment Enterprise Architecture

    • Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo
    Pages 111-127

  11. Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures

    • Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones, Alejandro Alonso
    Pages 128-142

  12. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Services and Formal Methods

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.

Editors and Affiliations

  • IT University of Copenhagen, Copenhagen, Denmark

    Marco Carbone

  • Université de Lyon – CNRS INSA Lyon, LIRIS, Villeurbanne Cedex, France

    Jean-Marc Petit

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation