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

Front Matter....Pages -
Introduction to the 9th International Workshop on Engineering Service-Oriented Applications (WESOA’13)....Pages 1-3
From Process Models to Business Process Architectures: Connecting the Layers....Pages 4-15
Goal-Driven Composition of Business Process Models....Pages 16-27
Integrating Service Release Management with Service Solution Design....Pages 28-39
Practical Compiler-Based User Support during the Development of Business Processes....Pages 40-53
Model Checking GSM-Based Multi-Agent Systems....Pages 54-68
Towards Modeling and Execution of Collective Adaptive Systems....Pages 69-81
A Requirements-Based Model for Effort Estimation in Service-Oriented Systems....Pages 82-94
Augmenting Complex Problem Solving with Hybrid Compute Units....Pages 95-110
Towards Automating the Detection of Event Sources....Pages 111-122
Discovering Pattern-Based Mediator Services from Communication Logs....Pages 123-134
Cloud Service Brokerage - 2013: Methods and Mechanisms....Pages 135-136
A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures....Pages 137-149
Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements....Pages 150-162
Towards Value-Driven Business Modelling Based on Service Brokerage....Pages 163-176
Introducing Policy-Driven Governance and Service Level Failure Mitigation in Cloud Service Brokers: Challenges Ahead....Pages 177-191
Model-Based Testing in Cloud Brokerage Scenarios....Pages 192-208
Value-Added Modelling and Analysis in Service Value Brokerage....Pages 209-222
Introduction to the Proceedings of the 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) 2013....Pages 223-224
Management of Variability in Modular Ontology Development....Pages 225-239
Towards Automated Service Matchmaking and Planning for Multi-Agent Systems with OWL-S – Approach and Challenges....Pages 240-247
Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective....Pages 248-255
Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL....Pages 256-270
Template-Based Ontology Population for Smart Environments Configuration....Pages 271-278
Introduction to the 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA’13)....Pages 279-280
SLA-Aware Load Balancing in a Web-Based Cloud System over OpenStack....Pages 281-293
Are Public Clouds Elastic Enough for Scientific Computing?....Pages 294-307
A Light-Weight Framework for Bridge-Building from Desktop to Cloud....Pages 308-323
Planning and Scheduling Data Processing Workflows in the Cloud with Quality-of-Data Constraints....Pages 324-338
Galaxy + Hadoop: Toward a Collaborative and Scalable Image Processing Toolbox in Cloud....Pages 339-351
SciLightning: A Cloud Provenance-Based Event Notification for Parallel Workflows....Pages 352-365
Energy Savings on a Cloud-Based Opportunistic Infrastructure....Pages 366-378
Introduction to the Proceedings of the Workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013....Pages 379-380
Towards a Formal Model for Cloud Computing....Pages 381-393
An Optimized Strategy for Data Service Response with Template-Based Caching and Compression....Pages 394-405
Model-Driven Event Query Generation for Business Process Monitoring....Pages 406-418
Enabling Semantic Complex Event Processing in the Domain of Logistics....Pages 419-431
Towards Self-adaptation Planning for Complex Service-Based Systems....Pages 432-444
Towards an Integration Platform for Bioinformatics Services....Pages 445-456
Requirements to Pervasive System Continuous Deployment....Pages 457-468
Towards Structure-Based Quality Awareness in Software Ecosystem Use....Pages 469-479
An Adaptive Enterprise Service Bus Infrastructure for Service Based Systems....Pages 480-491
Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented Approach....Pages 492-504
Flexible Component Migration in an OSGi Based Pervasive Cloud Infrastructure....Pages 505-514
Hybrid Emotion Recognition Using Semantic Similarity....Pages 515-526
ICSOC PhD Symposium 2013....Pages 527-527
Towards the Automated Synthesis of Data Dependent Service Controllers....Pages 528-534
Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment....Pages 535-542
An Information-Centric System for Building the Web of Things....Pages 543-550
Testing of Distributed Service-Oriented Systems....Pages 551-556
Automation of the SLA Life Cycle in Cloud Computing  ⋆  ....Pages 557-562
Towards a Dynamic Declarative Service Workflow Reference Model....Pages 563-568
A Context-Aware Access Control Framework for Software Services....Pages 569-577
Description and Composition of Services towards the Web-Telecom Convergence....Pages 578-584
Back Matter....Pages -