Amazon cover image
Image from Amazon.com

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).

By: Contributor(s): Material type: TextTextSeries: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4184.Publication details: Berlin ; New York : Springer, 2006.Description: 1 online resource (x, 287 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540388654
  • 3540388656
  • 9783540388623
  • 3540388621
Other title:
  • WS-FM 2006
Subject(s): Genre/Form: Additional physical formats: Print version:: Web services and formal methods.DDC classification:
  • 006.76 22
LOC classification:
  • TK5105.88813 .W7 2006eb
Other classification:
  • TP393-532
Online resources:
Contents:
InvitedPapers -- DecSerFlow: Towards a Truly Declarative Service Flow Language -- Service QoS Composition at the Level of Part Names -- SCC: A Service Centered Calculus -- Contributed Papers -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool -- Semantic Querying of Mathematical Web Service Descriptions -- Verified Reference Implementations of WS-Security Protocols -- From BPEL Processes to YAWL Workflows -- Translating Orc Features into Petri Nets and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts for Web Services -- Execution Semantics for Service Choreographies -- Analysis and Verification of Time Requirements Applied to the Web Services Composition -- A Formal Approach to Service Component Architecture -- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System -- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment -- Application of Model Checking to AXML System's Security: A Case Study -- Towards a Unifying Theory for Web Services Composition -- Towards the Formal Model and Verification of Web Service Choreography Description Language.
In: OhioLINK electronic book center In: SpringerLink
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

InvitedPapers -- DecSerFlow: Towards a Truly Declarative Service Flow Language -- Service QoS Composition at the Level of Part Names -- SCC: A Service Centered Calculus -- Contributed Papers -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool -- Semantic Querying of Mathematical Web Service Descriptions -- Verified Reference Implementations of WS-Security Protocols -- From BPEL Processes to YAWL Workflows -- Translating Orc Features into Petri Nets and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts for Web Services -- Execution Semantics for Service Choreographies -- Analysis and Verification of Time Requirements Applied to the Web Services Composition -- A Formal Approach to Service Component Architecture -- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System -- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment -- Application of Model Checking to AXML System's Security: A Case Study -- Towards a Unifying Theory for Web Services Composition -- Towards the Formal Model and Verification of Web Service Choreography Description Language.

Available to OhioLINK libraries.

English.

Powered by Koha