LEADER 08385nam 22007935 450 001 9910483013303321 005 20251226203149.0 010 $a3-319-06859-8 024 7 $a10.1007/978-3-319-06859-6 035 $a(CKB)2560000000154832 035 $a(SSID)ssj0001247358 035 $a(PQKBManifestationID)11986676 035 $a(PQKBTitleCode)TC0001247358 035 $a(PQKBWorkID)11195129 035 $a(PQKB)10071494 035 $a(DE-He213)978-3-319-06859-6 035 $a(MiAaPQ)EBC3093558 035 $a(PPN)178782750 035 $a(EXLCZ)992560000000154832 100 $a20140502d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aService-Oriented Computing--ICSOC 2013 Workshops $eCCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers /$fedited by Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandi? 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 586 p. 220 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8377 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-06858-X 327 $aEngineering 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 Webof 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. 330 $aThis book constitutes the revised selected papers of the workshops of the 11th International Conference on  Service-Oriented Computing (ICSOC 2013), held in Berlin, Germany, in December 2013. The conference hosted the following five workshops: 3rd International Workshop on Cloud Computing and Scientific Applications (CCSA'13); 1st International Workshop on Cloud Service Brokerage (CSB'13); 1st International Workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB'13); 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE'13); 9th International Workshop on Engineering Service-Oriented Applications (WESOA'13); and a PhD Symposium, with best papers also being included in this book. The 54 papers included in this volume were carefully reviewed and selected from numerous submissions. They address various topics in the service-oriented computing domain and its emerging applications. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8377 606 $aSoftware engineering 606 $aApplication software 606 $aBusiness information services 606 $aInformation technology$xManagement 606 $aElectronic data processing$xManagement 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 606 $aIT in Business 606 $aComputer Application in Administrative Data Processing 606 $aIT Operations 606 $aComputer Science 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aBusiness information services. 615 0$aInformation technology$xManagement. 615 0$aElectronic data processing$xManagement. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 615 24$aIT in Business. 615 24$aComputer Application in Administrative Data Processing. 615 24$aIT Operations. 615 24$aComputer Science. 676 $a005.1 702 $aLomuscio$b Alessio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNepal$b Surya$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPatrizi$b Fabio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBenatallah$b Boualem$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrandi?$b Ivona$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910483013303321 996 $aService-Oriented Computing--ICSOC 2013 Workshops$92587628 997 $aUNINA