WS-FM 2006: Vienna, Austria

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