The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration.

"The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration.

Analysis.- Specifying and Monitoring Service Flows: Making Web Services Process-Aware.- Analyzing Conversations: Realizability, Synchronizability, and Verification.- WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.- Model Checking with Abstraction for Web Services.- Testing.- Unit Testing BPEL Compositions.- A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.- Web Services Regression Testing.- Monitoring.- Run-Time Monitoring in Service-Oriented Architectures.- Monitoring WS-Agreements: An Event Calculus-Based Approach.- Assumption-Based Composition and Monitoring of Web Services.- Reliability, Security, and Trust.- Reliability Modeling and Analysis of Service-Oriented Architectures.- Vulnerability Analysis of Web-based Applications.- Challenges of Testing Web Services and Security in SOA Implementations.- ws-Attestation: Enabling Trusted Computing on Web Services.