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

Engineering Service-Oriented Applications WESOA 2013.- Introduction to the 9th International Workshop on Engineering Service-Oriented Applications (WESOA’13).- From Process Models to Business Process Architectures: Connecting the Layers.- Goal-Driven Composition of Business Process Models.- Integrating Service Release Management with Service Solution Design.- Practical Compiler-Based User Support during the Development of Business Processes.- Model Checking GSM-Based Multi-Agent Systems.- Towards Modeling and Execution of Collective Adaptive Systems.- A Requirements-Based Model for Effort Estimation in Service-Oriented Systems.- Augmenting Complex Problem Solving with Hybrid Compute Units.- Towards Automating the Detection of Event Sources.- Discovering Pattern-Based Mediator Services from Communication Logs.- Cloud Service Brokerage CSB 2013.- Cloud Service Brokerage - 2013: Methods and Mechanisms.- A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures.- Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements.- Towards Value-Driven Business Modelling Based on Service Brokerage.- Introducing Policy-Driven Governance and Service Level Failure Mitigation in Cloud Service Brokers: Challenges Ahead.- Model-Based Testing in Cloud Brokerage Scenarios.- Value-Added Modelling and Analysis in Service Value Brokerage.- Semantic Web Enabled Software Engineering SWESE 2013.- Introduction to the Proceedings of the 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) 2013.- Management of Variability in Modular Ontology Development.- Towards Automated Service Matchmaking and Planning for Multi-Agent Systems with OWL-S – Approach and Challenges.- Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective.- Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL.- Template-Based Ontology Population for Smart Environments Configuration.- Cloud Computing and Scientific Applications CCSA 2013.- Introduction to the 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA’13).- SLA-Aware Load Balancing in a Web-Based Cloud System over OpenStack.- Are Public Clouds Elastic Enough for Scientific Computing?.- A Light-Weight Framework for Bridge-Building from Desktop to Cloud.- Planning and Scheduling Data Processing Workflows in the Cloud with Quality-of-Data Constraints.- Galaxy + Hadoop: Toward a Collaborative and Scalable Image Processing Toolbox in Cloud.- SciLightning: A Cloud Provenance-Based Event Notification for Parallel Workflows.- Energy Savings on a Cloud-Based Opportunistic Infrastructure.- Pervasive Analytical Service Clouds for the Enterprise and Beyond PACEB 2013.- Introduction to the Proceedings of the Workshop on Pervasive.- Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013.- Towards a Formal Model for Cloud Computing.- An Optimized Strategy for Data Service Response with Template-Based Caching and Compression.- Model-Driven Event Query Generation for Business Process Monitoring.- Enabling Semantic Complex Event Processing in the Domain of Logistics.- Towards Self-adaptation Planning for Complex Service-Based Systems.- Towards an Integration Platform for Bioinformatics Services.- Requirements to Pervasive System Continuous Deployment.- Towards Structure-Based Quality Awareness in Software Ecosystem Use.- An Adaptive Enterprise Service Bus Infrastructure for Service Based Systems.- Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented Approach.- Flexible Component Migration in an OSGi Based Pervasive Cloud Infrastructure.- Hybrid Emotion Recognition Using Semantic Similarity.- PhD Symposium.- ICSOC PhD Symposium 2013.- Towards the Automated Synthesis of Data Dependent Service Controllers.- Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment.- An Information-Centric System for Building the Web of Things.- Testing of Distributed Service-Oriented Systems.- Automation of the SLA Life Cycle in Cloud Computing.- Towards a Dynamic Declarative Service Workflow Reference Model.- A Context-Aware Access Control Framework for Software Services.- Description and Composition of Services towards the Web-Telecom Convergence.