Skip to main content
  • Conference proceedings
  • © 2006

Web Services and Formal Methods

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

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

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

Conference series link(s): WS-FM: International Workshop on Web Services and Formal Methods

Conference proceedings info: WS-FM 2006.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-38865-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  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. Towards a Unifying Theory for Web Services Composition

      • Manuel Mazzara, Ivan Lanese
      Pages 257-272
  4. Back Matter

Other Volumes

  1. Web Services and Formal Methods

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

Keywords

  • SOAP
  • Service Oriented Architecture (SOA)
  • XML
  • formal method
  • formal methods
  • model checking
  • ontologies
  • performance engineering
  • petri nets
  • program analysis
  • security
  • security analysis
  • semantic Web
  • semantics
  • systems analysis

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

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-38865-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)