Abstract is missing.
- DecSerFlow: Towards a Truly Declarative Service Flow LanguageWil M. P. van der Aalst, Maja Pesic. 1-23 [doi]
- Service QoS Composition at the Level of Part NamesMarco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar. 24-37 [doi]
- SCC: A Service Centered CalculusMichele 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. 38-57 [doi]
- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the ::::SOCS-SI:::: ToolMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni. 58-72 [doi]
- Semantic Querying of Mathematical Web Service DescriptionsRebhi Baraka, Wolfgang Schreiner. 73-87 [doi]
- Verified Reference Implementations of WS-Security ProtocolsKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. 88-106 [doi]
- From BPEL Processes to YAWL WorkflowsAntonio Brogi, Razvan Popescu. 107-122 [doi]
- Translating Orc Features into Petri Nets and the Join CalculusRoberto Bruni, Hernán C. Melgratti, Emilio Tuosto. 123-137 [doi]
- Dynamic Constraint-Based Invocation of Web ServicesDiletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito. 138-147 [doi]
- A Formal Account of Contracts for Web ServicesSamuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani. 148-162 [doi]
- Execution Semantics for Service ChoreographiesGero Decker, Johannes Maria Zaha, Marlon Dumas. 163-177 [doi]
- Analysis and Verification of Time Requirements Applied to the Web Services CompositionGregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero. 178-192 [doi]
- A Formal Approach to Service Component ArchitectureJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi. 193-213 [doi]
- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management SystemStephen T. Gilmore, Mirco Tribastone. 214-226 [doi]
- Choreography Conformance Analysis: Asynchronous Communications and Information AlignmentRaman Kazhamiakin, Marco Pistore. 227-241 [doi]
- Application of Model Checking to AXML System s Security: A Case StudyIl-Gon Kim, Debmalya Biswas. 242-256 [doi]
- Towards a Unifying Theory for Web Services CompositionManuel Mazzara, Ivan Lanese. 257-272 [doi]
- Towards the Formal Model and Verification of Web Service Choreography Description LanguageXiangpeng Zhao, Hongli Yang, Zongyan Qiu. 273-287 [doi]