Service-Oriented Computing – ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Introduction to the 9th International Workshop on Engineering Service-Oriented Applications (WESOA’13)
3. Altmetric Badge
   Chapter 2 From Process Models to Business Process Architectures: Connecting the Layers
4. Altmetric Badge
   Chapter 3 Goal-Driven Composition of Business Process Models
5. Altmetric Badge
   Chapter 4 Integrating Service Release Management with Service Solution Design
6. Altmetric Badge
   Chapter 5 Practical Compiler-Based User Support during the Development of Business Processes
7. Altmetric Badge
   Chapter 6 Model Checking GSM-Based Multi-Agent Systems
8. Altmetric Badge
   Chapter 7 Towards Modeling and Execution of Collective Adaptive Systems
9. Altmetric Badge
   Chapter 8 A Requirements-Based Model for Effort Estimation in Service-Oriented Systems
10. Altmetric Badge
    Chapter 9 Augmenting Complex Problem Solving with Hybrid Compute Units
11. Altmetric Badge
    Chapter 10 Towards Automating the Detection of Event Sources
12. Altmetric Badge
    Chapter 11 Discovering Pattern-Based Mediator Services from Communication Logs
13. Altmetric Badge
    Chapter 12 Cloud Service Brokerage - 2013: Methods and Mechanisms
14. Altmetric Badge
    Chapter 13 A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures
15. Altmetric Badge
    Chapter 14 Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements
16. Altmetric Badge
    Chapter 15 Towards Value-Driven Business Modelling Based on Service Brokerage
17. Altmetric Badge
    Chapter 16 Service-Oriented Computing – ICSOC 2013 Workshops
18. Altmetric Badge
    Chapter 17 Model-Based Testing in Cloud Brokerage Scenarios
19. Altmetric Badge
    Chapter 18 Value-Added Modelling and Analysis in Service Value Brokerage
20. Altmetric Badge
    Chapter 19 Introduction to the Proceedings of the 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) 2013
21. Altmetric Badge
    Chapter 20 Management of Variability in Modular Ontology Development
22. Altmetric Badge
    Chapter 21 Towards Automated Service Matchmaking and Planning for Multi-Agent Systems with OWL-S – Approach and Challenges
23. Altmetric Badge
    Chapter 22 Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective
24. Altmetric Badge
    Chapter 23 Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL
25. Altmetric Badge
    Chapter 24 Template-Based Ontology Population for Smart Environments Configuration
26. Altmetric Badge
    Chapter 25 Introduction to the 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA’13)
27. Altmetric Badge
    Chapter 26 SLA-Aware Load Balancing in a Web-Based Cloud System over OpenStack
28. Altmetric Badge
    Chapter 27 Are Public Clouds Elastic Enough for Scientific Computing?
29. Altmetric Badge
    Chapter 28 A Light-Weight Framework for Bridge-Building from Desktop to Cloud
30. Altmetric Badge
    Chapter 29 Planning and Scheduling Data Processing Workflows in the Cloud with Quality-of-Data Constraints
31. Altmetric Badge
    Chapter 30 Galaxy + Hadoop: Toward a Collaborative and Scalable Image Processing Toolbox in Cloud
32. Altmetric Badge
    Chapter 31 SciLightning: A Cloud Provenance-Based Event Notification for Parallel Workflows
33. Altmetric Badge
    Chapter 32 Energy Savings on a Cloud-Based Opportunistic Infrastructure
34. Altmetric Badge
    Chapter 33 Introduction to the Proceedings of the Workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013
35. Altmetric Badge
    Chapter 34 Towards a Formal Model for Cloud Computing
36. Altmetric Badge
    Chapter 35 An Optimized Strategy for Data Service Response with Template-Based Caching and Compression
37. Altmetric Badge
    Chapter 36 Model-Driven Event Query Generation for Business Process Monitoring
38. Altmetric Badge
    Chapter 37 Enabling Semantic Complex Event Processing in the Domain of Logistics
39. Altmetric Badge
    Chapter 38 Towards Self-adaptation Planning for Complex Service-Based Systems
40. Altmetric Badge
    Chapter 39 Towards an Integration Platform for Bioinformatics Services
41. Altmetric Badge
    Chapter 40 Requirements to Pervasive System Continuous Deployment
42. Altmetric Badge
    Chapter 41 Towards Structure-Based Quality Awareness in Software Ecosystem Use
43. Altmetric Badge
    Chapter 42 An Adaptive Enterprise Service Bus Infrastructure for Service Based Systems
44. Altmetric Badge
    Chapter 43 Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented Approach
45. Altmetric Badge
    Chapter 44 Flexible Component Migration in an OSGi Based Pervasive Cloud Infrastructure
46. Altmetric Badge
    Chapter 45 Hybrid Emotion Recognition Using Semantic Similarity
47. Altmetric Badge
    Chapter 46 Service-Oriented Computing – ICSOC 2013 Workshops
48. Altmetric Badge
    Chapter 47 Towards the Automated Synthesis of Data Dependent Service Controllers
49. Altmetric Badge
    Chapter 48 Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment
50. Altmetric Badge
    Chapter 49 An Information-Centric System for Building the Web of Things
51. Altmetric Badge
    Chapter 50 Testing of Distributed Service-Oriented Systems
52. Altmetric Badge
    Chapter 51 Automation of the SLA Life Cycle in Cloud Computing ⋆
53. Altmetric Badge
    Chapter 52 Towards a Dynamic Declarative Service Workflow Reference Model
54. Altmetric Badge
    Chapter 53 Service-Oriented Computing – ICSOC 2013 Workshops
55. Altmetric Badge
    Chapter 54 Description and Composition of Services towards the Web-Telecom Convergence