Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings > Analysis and Verification of Time Requirements Applied to the Web Services Composition
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
Springer Berlin Heidelberg
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Analysis and Verification of Time Requirements Applied to the Web Services Composition
Authors

Gregorio Díaz; María-Emilia Cambronero; M. Llanos Tobarra; Valentín Valero; Fernando Cuartero

ARI Id

1664747258347_3051467

Access

Not Available Free

Pages

178-192

DOI

10.1007/11841197_12

Chapter URL

https://rd.springer.com/chapter/10.1007/11841197_12

Table of Contents of Book
Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
DecSerFlow: Towards a Truly Declarative Service Flow Language
W. M. P. van der Aalst; M. Pesic
1-23
Service QoS Composition at the Level of Part Names
Marco Aiello; Florian Rosenberg; Christian Platzer; Agata Ciabattoni; Schahram Dustdar
24-37
SCC: A Service Centered Calculus
M. Boreale; R. Bruni; L. Caires; R. De Nicola; I. Lanese; M. Loreti et al.
38-57
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.
58-72
Semantic Querying of Mathematical Web Service Descriptions
Rebhi Baraka; Wolfgang Schreiner
73-87
Verified Reference Implementations of WS-Security Protocols
Karthikeyan Bhargavan; Cédric Fournet; Andrew D. Gordon
88-106
From BPEL Processes to YAWL Workflows
Antonio Brogi; Razvan Popescu
107-122
Translating Orc Features into Petri Nets and the Join Calculus
Roberto Bruni; Hernán Melgratti; Emilio Tuosto
123-137
Dynamic Constraint-Based Invocation of Web Services
Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Vito
138-147
A Formal Account of Contracts for Web Services
S. Carpineti; G. Castagna; C. Laneve; L. Padovani
148-162
Execution Semantics for Service Choreographies
Gero Decker; Johannes Maria Zaha; Marlon Dumas
163-177
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
178-192
A Formal Approach to Service Component Architecture
José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi
193-213
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
Stephen Gilmore; Mirco Tribastone
214-226
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
Raman Kazhamiakin; Marco Pistore
227-241
Application of Model Checking to AXML System’s Security: A Case Study
Il-Gon Kim; Debmalya Biswas
242-256
Towards a Unifying Theory for Web Services Composition
Manuel Mazzara; Ivan Lanese
257-272
Towards the Formal Model and Verification of Web Service Choreography Description Language
Zhao Xiangpeng; Yang Hongli; Qiu Zongyan
273-287
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings