Web Services and Formal Methods

Name: Web Services and Formal Methods | 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Marco Carbone Jean-Marc Petit(Herausgeber*in)

Springer (Verlag)

1. Auflage

Erschienen am 23. April 2012

IX, 143 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-29834-9 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
Understanding Distributed Servicesthrough the \pi-Calculus
Reliable Contracts for Unreliable Half-Duplex Communications
Asynchronous Dialogues
Contracts
Half-Duplex Dialogues
LTL Model-Checking
Traces of Configurations
Traces of Actions
Conclusion
References
Behavior Based Service Composition
Introduction
Formal Framework
Service Advertisements
Programs
Query Logic for Specifying Composed Behavior
Solution to the Synthesis Problem
Computing Constraints on Transition Relation
Synthesizing Deterministic Crash-Free Programs
Example
Related Work
References
Compatibility of Data-Centric Web Services
Introduction
Distributed Active Documents
Modeling Active Documents Workflows with Petri Nets
Documents and Services
Docnets
Modules and Interactions with the Environment
Composability
Compatibility between Modules
Connecting Interfaces and Their Implementations
Distributivity of Compatibility
Conclusion and Perspectives
References
Time and Exceptional Behavior in Multiparty Structured Interactions
Introduction
The Conversation Calculus (CC)
C3: CC with Time and Compensations
The Expressiveness of C3, Informally
A Healthcare Compelling Example
Related Work
Concluding Remarks
References
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
Introduction
Office Workflow: Requirements and Design
Requirements
Design
Asynchronous -Calculus
Web
Discussion
References
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework
Introduction
Background and Related Work
Overview of BPEL/WSRF
Related Work
Syntax and Semantics of BPEL+RF
Case Study: Online Auction Service
Conclusions and Future Work
References
Design of a BPEL Verification Tool
Introduction
A Brief Overview of BPEL and FIACRE
BPEL
FIACRE
Transformation Framework
Transformation Basis
Camlp4 and FIACRE Meta-extensions
From BPEL to FIACRE
Transformation Principles
Modeling the WSDL
Behavioral Aspects in FIACRE
Common Behavior of Activities in FIACRE:
Basic Activities.
Structured Activities.
Verification
Case Study
Related Works
BPEL Verification Tools
Comparison of Transformation Environments
Conclusion and Future Work
References
Applying Process Analysis to the Italian eGovernment Enterprise Architecture
Introduction
Business Process Management
The Process Monitoring Platform
Formal Analysis Based on Petri Nets
Using Invisible Transitions to Improve Performance Analysis
Supporting BPMN Modeling
Citizen Migration
Integrating ProM in the Process Monitoring Platform
Concluding Remarks
References
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures
Introduction
Integrating the Non-functional Concerns
A Framework for the Inclusion of Security Concerns
Development Process
Metamodels
WS-I's Supply Chain Management Use Case
Creating and Selecting the Input Models
Transformation into the iMM Model
Generation of Resulting Artifacts
Related Work
Conclusions and Future Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken