WS-FM 2006:
Vienna,
Austria
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (Eds.):
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings.
Lecture Notes in Computer Science 4184 Springer 2006, ISBN 3-540-38862-1 
InvitedPapers
- Wil M. P. van der Aalst, Maja Pesic:
DecSerFlow: Towards a Truly Declarative Service Flow Language.
1-23
- Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar:
Service QoS Composition at the Level of Part Names.
24-37
- Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
38-57
Contributed Papers
- Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni:
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.
58-72
- Rebhi Baraka, Wolfgang Schreiner:
Semantic Querying of Mathematical Web Service Descriptions.
73-87
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon:
Verified Reference Implementations of WS-Security Protocols.
88-106
- Antonio Brogi, Razvan Popescu:
From BPEL Processes to YAWL Workflows.
107-122
- Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto:
Translating Orc Features into Petri Nets and the Join Calculus.
123-137
- Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito:
Dynamic Constraint-Based Invocation of Web Services.
138-147
- Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani:
A Formal Account of Contracts for Web Services.
148-162
- Gero Decker, Johannes Maria Zaha, Marlon Dumas:
Execution Semantics for Service Choreographies.
163-177
- Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero:
Analysis and Verification of Time Requirements Applied to the Web Services Composition.
178-192
- José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
A Formal Approach to Service Component Architecture.
193-213
- Stephen T. Gilmore, Mirco Tribastone:
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.
214-226
- Raman Kazhamiakin, Marco Pistore:
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
227-241
- Il-Gon Kim, Debmalya Biswas:
Application of Model Checking to AXML System's Security: A Case Study.
242-256
- Manuel Mazzara, Ivan Lanese:
Towards a Unifying Theory for Web Services Composition.
257-272
- Xiangpeng Zhao, Hongli Yang, Zongyan Qiu:
Towards the Formal Model and Verification of Web Service Choreography Description Language.
273-287
Last update Fri May 25 08:50:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
