CONTENT:
1. A Relative Timed Semantics for BPMN
2. Fixed Deadlockeding Service Choreographies Using a Simulation-based Graph Edit Distance
3. Automatic Test Case Generation for Service
4. The Need for a Choreography-aware Service Bus
5. Web Oriented Integration Architecture for Semantic Integration of Information Systems
6. ReforMing Mashups
7. Analysis of a Federated Identity Management Protocol in SOC
8. Towards Reliable Web Service Discovery through Behavioural Verification and Validation
9. Semantic Web Service Discovery with Lightweight Semantic Descriptions
10. Tools4BPEL4Chor
