Library Services | Technical University of Kenya

Your cart is empty.
Normal view MARC view ISBD view

Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su.

By: Laneve, Cosimo [editor.].
Contributor(s): Su, Jianwen [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 6194Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: VII, 197p. 60 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642144585.Subject(s): Computer science | Computer Communication Networks | Software engineering | Information systems | Information storage and retrieval systems | Multimedia systems | Computer Science | Information Systems and Communication Service | Information Systems Applications (incl.Internet) | Computer Communication Networks | Information Storage and Retrieval | Software Engineering | Multimedia Information SystemsDDC classification: 005.7 Online resources: Click here to access online
Contents:
Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.
In: Springer eBooksSummary: This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and selected from 18 submissions. The papers feature topics such as approaches to analyzing and designing systems based on Web Service technology, formal approaches to enterprise systems modeling in general, and business process modeling in particular.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and selected from 18 submissions. The papers feature topics such as approaches to analyzing and designing systems based on Web Service technology, formal approaches to enterprise systems modeling in general, and business process modeling in particular.

There are no comments for this item.

Log in to your account to post a comment.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue