Abstract is missing.
- IntroductionLuciano Baresi, Elisabetta Di Nitto. 1-7 [doi]
- Specifying and Monitoring Service Flows: Making Web Services Process-AwareWil M. P. van der Aalst, Maja Pesic. 11-55 [doi]
- Analyzing Conversations: Realizability, Synchronizability, and VerificationTevfik Bultan, Xiang Fu, Jianwen Su. 57-85 [doi]
- WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and ChoreographyHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer. 87-119 [doi]
- Model Checking with Abstraction for Web ServicesNatasha Sharygina, Daniel Kröning. 121-145 [doi]
- Unit Testing BPEL CompositionsDaniel Lübke. 149-171 [doi]
- A Model-Driven Approach to Discovery, Testing and Monitoring of Web ServicesMarc Lohmann, Leonardo Mariani, Reiko Heckel. 173-204 [doi]
- Web Services Regression TestingMassimiliano Di Penta, Marcello Bruno, Gianpiero Esposito, Valentina Mazza, Gerardo Canfora. 205-234 [doi]
- Run-Time Monitoring in Service-Oriented ArchitecturesCarlo Ghezzi, Sam Guinea. 237-264 [doi]
- Monitoring ::::WS-Agreement:::: s: An Event Calculus-Based ApproachKhaled Mahbub, George Spanoudakis. 265-306 [doi]
- Assumption-Based Composition and Monitoring of Web ServicesMarco Pistore, Paolo Traverso. 307-335 [doi]
- Reliability Modeling and Analysis of Service-Oriented ArchitecturesVittorio Cortellessa, Vincenzo Grassi. 339-362 [doi]
- Vulnerability Analysis of Web-based ApplicationsMarco Cova, Viktoria Felmetsger, Giovanni Vigna. 363-394 [doi]
- Challenges of Testing Web Services and Security in SOA ImplementationsAbbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch, Lorenzo Martino. 395-440 [doi]
- ws-Attestation: Enabling Trusted Computing on Web ServicesSachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Takuya Mishina, Hiroshi Maruyama. 441-469 [doi]