Service-Oriented Computing : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Computing Degree of Parallelism for BPMN Processes
3. Altmetric Badge
   Chapter 2 State Propagation in Abstracted Business Processes
4. Altmetric Badge
   Chapter 3 Push-Enabling RESTful Business Processes
5. Altmetric Badge
   Chapter 4 QoS Analysis for Web Service Compositions Based on Probabilistic QoS
6. Altmetric Badge
   Chapter 5 Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
7. Altmetric Badge
   Chapter 6 Optimizing Decisions in Web Services Orchestrations
8. Altmetric Badge
   Chapter 7 Decidability Results for Choreography Realization
9. Altmetric Badge
   Chapter 8 Conformance Testing for Asynchronously Communicating Services
10. Altmetric Badge
    Chapter 9 Programming Services with Correlation Sets
11. Altmetric Badge
    Chapter 10 Verification of Deployed Artifact Systems via Data Abstraction
12. Altmetric Badge
    Chapter 11 Profiling-as-a-Service: Adaptive Scalable Resource Profiling for the Cloud in the Cloud
13. Altmetric Badge
    Chapter 12 VM Placement in non-Homogeneous IaaS-Clouds
14. Altmetric Badge
    Chapter 13 Place Semantics into Context: Service Community Discovery from the WSDL Corpus
15. Altmetric Badge
    Chapter 14 WTCluster: Utilizing Tags for Web Services Clustering
16. Altmetric Badge
    Chapter 15 Service-Oriented Computing
17. Altmetric Badge
    Chapter 16 Revealing Hidden Relations among Web Services Using Business Process Knowledge
18. Altmetric Badge
    Chapter 17 Towards a Service System Ontology for Service Science
19. Altmetric Badge
    Chapter 18 Support for the Business Motivation Model in the WS-Policy4MASC Language and MiniZnMASC Middleware
20. Altmetric Badge
    Chapter 19 WS-Governance: A Policy Language for SOA Governance
21. Altmetric Badge
    Chapter 20 QoS-Based Task Scheduling in Crowdsourcing Environments
22. Altmetric Badge
    Chapter 21 Model Driven Security Analysis of IDaaS Protocols
23. Altmetric Badge
    Chapter 22 Credibility-Based Trust Management for Services in Cloud Environments
24. Altmetric Badge
    Chapter 23 Monere: Monitoring of Service Compositions for Failure Diagnosis
25. Altmetric Badge
    Chapter 24 Multi-layered Monitoring and Adaptation
26. Altmetric Badge
    Chapter 25 Efficient, Interactive Recommendation of Mashup Composition Knowledge
27. Altmetric Badge
    Chapter 26 A Semantic and Information Retrieval Based Approach to Service Contract Selection
28. Altmetric Badge
    Chapter 27 Service-Oriented Computing
29. Altmetric Badge
    Chapter 28 QoS-Driven Proactive Adaptation of Service Composition
30. Altmetric Badge
    Chapter 29 A Quality Aggregation Model for Service-Oriented Software Product Lines Based on Variability and Composition Patterns
31. Altmetric Badge
    Chapter 30 Optimization of Complex QoS-Aware Service Compositions
32. Altmetric Badge
    Chapter 31 Goal-Driven Business Process Derivation
33. Altmetric Badge
    Chapter 32 Defining and Analysing Resource Assignments in Business Processes with RAL
34. Altmetric Badge
    Chapter 33 Stochastic Optimization for Adaptive Labor Staffing in Service Systems
35. Altmetric Badge
    Chapter 34 Declarative Enhancement Framework for Business Processes
36. Altmetric Badge
    Chapter 35 RSCMap: Resiliency Planning in Storage Clouds
37. Altmetric Badge
    Chapter 36 Dynamically Selecting Composition Algorithms for Economical Composition as a Service
38. Altmetric Badge
    Chapter 37 A Service Model for Development and Test Clouds
39. Altmetric Badge
    Chapter 38 Time Based QoS Modeling and Prediction for Web Services
40. Altmetric Badge
    Chapter 39 CANPRO: A Conflict-Aware Protocol for Negotiation of Cloud Resources and Services
41. Altmetric Badge
    Chapter 40 Game-Theoretic Analysis of a Web Services Collaborative Mechanism
42. Altmetric Badge
    Chapter 41 Importance Sampling of Probabilistic Contracts in Web Services
43. Altmetric Badge
    Chapter 42 Particle Filtering Based Availability Prediction for Web Services
44. Altmetric Badge
    Chapter 43 A Penalty-Based Approach for QoS Dissatisfaction Using Fuzzy Rules
45. Altmetric Badge
    Chapter 44 Cellular Differentiation-Based Service Adaptation
46. Altmetric Badge
    Chapter 45 Graceful Interruption of Request-Response Service Interactions
47. Altmetric Badge
    Chapter 46 Adaptation of Web Service Interactions Using Complex Event Processing Patterns
48. Altmetric Badge
    Chapter 47 Employing Dynamic Object Offloading as a Design Breakthrough for SOA Adoption
49. Altmetric Badge
    Chapter 48 A Survey of SOA Migration in Industry
50. Altmetric Badge
    Chapter 49 Forms-based Service Composition
51. Altmetric Badge
    Chapter 50 Contractually Compliant Service Compositions
52. Altmetric Badge
    Chapter 51 Profit Sharing in Service Composition
53. Altmetric Badge
    Chapter 52 A Predictive Business Agility Model for Service Oriented Architectures
54. Altmetric Badge
    Chapter 53 Personal-Hosting RESTful Web Services for Social Network Based Recommendation
55. Altmetric Badge
    Chapter 54 Work as a Service