Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Data-Centricity and Services Interoperation
3. Altmetric Badge
   Chapter 2 Service-Oriented Computing
4. Altmetric Badge
   Chapter 3 QoS Analysis in Heterogeneous Choreography Interactions
5. Altmetric Badge
   Chapter 4 Improving Interaction with Services via Probabilistic Piggybacking
6. Altmetric Badge
   Chapter 5 Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes
7. Altmetric Badge
   Chapter 6 QoS-Aware Service VM Provisioning in Clouds: Experiences, Models, and Cost Analysis
8. Altmetric Badge
   Chapter 7 Personalized Quality Prediction for Dynamic Service Management Based on Invocation Patterns
9. Altmetric Badge
   Chapter 8 Open Source versus Proprietary Software in Service-Orientation: The Case of BPEL Engines
10. Altmetric Badge
    Chapter 9 Detection of SOA Patterns
11. Altmetric Badge
    Chapter 10 Optimal Strategy for Proactive Service Delivery Management Using Inter-KPI Influence Relationships
12. Altmetric Badge
    Chapter 11 On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse
13. Altmetric Badge
    Chapter 12 WT-LDA: User Tagging Augmented LDA for Web Service Clustering
14. Altmetric Badge
    Chapter 13 Does One-Size-Fit-All Suffice for Service Delivery Clients?
15. Altmetric Badge
    Chapter 14 Service-Oriented Computing
16. Altmetric Badge
    Chapter 15 Critical Path-Based Iterative Heuristic for Workflow Scheduling in Utility and Cloud Computing
17. Altmetric Badge
    Chapter 16 REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes
18. Altmetric Badge
    Chapter 17 Task Scheduling Optimization in Cloud Computing Applying Multi-Objective Particle Swarm Optimization
19. Altmetric Badge
    Chapter 18 Verification of Artifact-Centric Systems: Decidability and Modeling Issues
20. Altmetric Badge
    Chapter 19 Automatically Composing Services by Mining Process Knowledge from the Web
21. Altmetric Badge
    Chapter 20 Batch Activities in Process Modeling and Execution
22. Altmetric Badge
    Chapter 21 Multi-Objective Service Composition Using Reinforcement Learning
23. Altmetric Badge
    Chapter 22 Provisioning Quality-Aware Social Compute Units in the Cloud
24. Altmetric Badge
    Chapter 23 Process Discovery Using Prior Knowledge
25. Altmetric Badge
    Chapter 24 Mirror, Mirror, on the Web, Which Is the Most Reputable Service of Them All?
26. Altmetric Badge
    Chapter 25 Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations
27. Altmetric Badge
    Chapter 26 Priority-Based Human Resource Allocation in Business Processes
28. Altmetric Badge
    Chapter 27 Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays
29. Altmetric Badge
    Chapter 28 Service-Oriented Computing
30. Altmetric Badge
    Chapter 29 Tactical Service Selection with Runtime Aspects
31. Altmetric Badge
    Chapter 30 Service-Oriented Computing
32. Altmetric Badge
    Chapter 31 Multi-level Elasticity Control of Cloud Services
33. Altmetric Badge
    Chapter 32 Reasoning on UML data-centric business process models
34. Altmetric Badge
    Chapter 33 QoS-Aware Multi-granularity Service Composition Based on Generalized Component Services
35. Altmetric Badge
    Chapter 34 Evaluating Cloud Services Using a Multiple Criteria Decision Analysis Approach
36. Altmetric Badge
    Chapter 35 An Approach for Compliance-Aware Service Selection with Genetic Algorithms
37. Altmetric Badge
    Chapter 36 Decomposing Ratings in Service Compositions
38. Altmetric Badge
    Chapter 37 Automatic Generation of Test Models for Web Services Using WSDL and OCL
39. Altmetric Badge
    Chapter 38 An Incentive Mechanism for Game-Based QoS-Aware Service Selection
40. Altmetric Badge
    Chapter 39 Goal Oriented Variability Modeling in Service-Based Business Processes
41. Altmetric Badge
    Chapter 40 A Cooperative Management Model for Volunteer Infrastructure as a Service in P2P Cloud
42. Altmetric Badge
    Chapter 41 Process Refinement Validation and Explanation with Ontology Reasoning
43. Altmetric Badge
    Chapter 42 Automated Service Composition for on-the-Fly SOAs
44. Altmetric Badge
    Chapter 43 Deriving Business Process Data Architecturesfrom Process Model Collections
45. Altmetric Badge
    Chapter 44 A Case Based Approach to Serve Information Needs in Knowledge Intensive Processes
46. Altmetric Badge
    Chapter 45 Patience-Aware Scheduling for Cloud Services: Freeing Users from the Chains of Boredom
47. Altmetric Badge
    Chapter 46 MaxInsTx: A Best-Effort Failure Recovery Approach for Artifact-Centric Business Processes
48. Altmetric Badge
    Chapter 47 Extending WS-Agreement to Support Automated Conformity Check on Transport and Logistics Service Agreements
49. Altmetric Badge
    Chapter 48 Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space
50. Altmetric Badge
    Chapter 49 Synthesizing Cost-Minimal Partners for Services
51. Altmetric Badge
    Chapter 50 An Architecture to Provide Quality of Service in OGC SWE Context
52. Altmetric Badge
    Chapter 51 Verification of Semantically-Enhanced Artifact Systems
53. Altmetric Badge
    Chapter 52 A Framework for Cross Account Analysis
54. Altmetric Badge
    Chapter 53 DataSheets: A Spreadsheet-Based Data-Flow Language
55. Altmetric Badge
    Chapter 54 Decision Making in Enterprise Crowdsourcing Services
56. Altmetric Badge
    Chapter 55 Towards Optimal Risk-Aware Security Compliance of a Large IT System
57. Altmetric Badge
    Chapter 56 Behavioral Analysis of Service Delivery Models
58. Altmetric Badge
    Chapter 57 A Novel Service Composition Approach for Application Migration to Cloud
59. Altmetric Badge
    Chapter 58 PPINOT Tool Suite: A Performance Management Solution for Process-Oriented Organisations
60. Altmetric Badge
    Chapter 59 SYBL+MELA: Specifying, Monitoring, and Controlling Elasticity of Cloud Services
61. Altmetric Badge
    Chapter 60 Modeling and Monitoring Business Process Execution
62. Altmetric Badge
    Chapter 61 A Tool for Business Process Architecture Analysis
63. Altmetric Badge
    Chapter 62 OpenTOSCA – A Runtime for TOSCA-Based Cloud Applications
64. Altmetric Badge
    Chapter 63 iAgree Studio: A Platform to Edit and Validate WS–Agreement Documents
65. Altmetric Badge
    Chapter 64 Winery – A Modeling Tool for TOSCA-Based Cloud Applications
66. Altmetric Badge
    Chapter 65 Barcelona: A Design and Runtime Environment for Declarative Artifact-Centric BPM