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

Access provided by Autonomous University of Puebla

Download book PDF

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.

Buy print copy

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

Keywords

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
      Download chapter PDF

    2. Service QoS Composition at the Level of Part Names

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

    3. SCC: A Service Centered Calculus

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

  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
      Download chapter PDF

    2. Semantic Querying of Mathematical Web Service Descriptions

      • Rebhi Baraka, Wolfgang Schreiner
      Pages 73-87
      Download chapter PDF

    3. Verified Reference Implementations of WS-Security Protocols

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

    4. From BPEL Processes to YAWL Workflows

      • Antonio Brogi, Razvan Popescu
      Pages 107-122
      Download chapter PDF

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

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

    6. Dynamic Constraint-Based Invocation of Web Services

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

    7. A Formal Account of Contracts for Web Services

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

    8. Execution Semantics for Service Choreographies

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

    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
      Download chapter PDF

    10. A Formal Approach to Service Component Architecture

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

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

      • Stephen Gilmore, Mirco Tribastone
      Pages 214-226
      Download chapter PDF

    12. Choreography Conformance Analysis: Asynchronous Communications and Information Alignment

      • Raman Kazhamiakin, Marco Pistore
      Pages 227-241
      Download chapter PDF

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

      • Il-Gon Kim, Debmalya Biswas
      Pages 242-256
      Download chapter PDF

    14. Towards a Unifying Theory for Web Services Composition

      • Manuel Mazzara, Ivan Lanese
      Pages 257-272
      Download chapter PDF

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

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

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Services and Formal Methods

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