Skip to main content
SpringerLink
Log in

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Mario Bravetti

    1. University of Bologna,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manuel Núñez

    1. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gianluigi Zavattaro

    1. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    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 4184)

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

Included in the following conference series:

Conference proceedings info: WS-FM 2006.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. InvitedPapers

    1. DecSerFlow: Towards a Truly Declarative Service Flow Language

      • W. M. P. van der Aalst, M. Pesic
      Pages 1-23

    2. Service QoS Composition at the Level of Part Names

      • Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar
      Pages 24-37

    3. SCC: A Service Centered Calculus

      • M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti et al.
      Pages 38-57

  3. Contributed Papers

    1. Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

      • Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali et al.
      Pages 58-72

    2. Semantic Querying of Mathematical Web Service Descriptions

      • Rebhi Baraka, Wolfgang Schreiner
      Pages 73-87

    3. Verified Reference Implementations of WS-Security Protocols

      • Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
      Pages 88-106

    4. From BPEL Processes to YAWL Workflows

      • Antonio Brogi, Razvan Popescu
      Pages 107-122

    5. Translating Orc Features into Petri Nets and the Join Calculus

      • Roberto Bruni, Hernán Melgratti, Emilio Tuosto
      Pages 123-137

    6. Dynamic Constraint-Based Invocation of Web Services

      • Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
      Pages 138-147

    7. A Formal Account of Contracts for Web Services

      • S. Carpineti, G. Castagna, C. Laneve, L. Padovani
      Pages 148-162

    8. Execution Semantics for Service Choreographies

      • Gero Decker, Johannes Maria Zaha, Marlon Dumas
      Pages 163-177

    9. Analysis and Verification of Time Requirements Applied to the Web Services Composition

      • Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero, Fernando Cuartero
      Pages 178-192

    10. A Formal Approach to Service Component Architecture

      • José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
      Pages 193-213

    11. Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System

      • Stephen Gilmore, Mirco Tribastone
      Pages 214-226

    12. Choreography Conformance Analysis: Asynchronous Communications and Information Alignment

      • Raman Kazhamiakin, Marco Pistore
      Pages 227-241

    13. Application of Model Checking to AXML System’s Security: A Case Study

      • Il-Gon Kim, Debmalya Biswas
      Pages 242-256

    14. Towards a Unifying Theory for Web Services Composition

      • Manuel Mazzara, Ivan Lanese
      Pages 257-272

    15. Towards the Formal Model and Verification of Web Service Choreography Description Language

      • Zhao Xiangpeng, Yang Hongli, Qiu Zongyan
      Pages 273-287

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Services and Formal Methods

Keywords

Editors and Affiliations

  • University of Bologna,  

    Mario Bravetti

  • Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

  • Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation