06606nam 22008535 450 991048325760332120230810233814.03-662-50539-810.1007/978-3-662-50539-7(CKB)3710000000653161(SSID)ssj0001666068(PQKBManifestationID)16455493(PQKBTitleCode)TC0001666068(PQKBWorkID)14999946(PQKB)10583332(DE-He213)978-3-662-50539-7(MiAaPQ)EBC6303833(MiAaPQ)EBC5591094(Au-PeEL)EBL5591094(OCoLC)948673293(PPN)193444119(EXLCZ)99371000000065316120160425d2016 u| 0engurnn|008mamaatxtccrService-Oriented Computing – ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers /edited by Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam1st ed. 2016.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2016.1 online resource (XXIX, 255 p. 69 illus.) Programming and Software Engineering,2945-9168 ;9586Includes Index.3-662-50538-X Engineering Service-Oriented Applications -- Introduction to the 11th International Workshop on Engineering Service-Oriented Applications (WESOA15) -- From Choreography Diagrams to RESTful Interactions -- Estimating the Complexity of Software Services using Entropy based Metric -- Establishing Distributed Governance Infrastructures for Enacting Cross-Organization Collaborations -- All the Services Large and Micro: Revisiting Industrial Practice in Services Computing -- Distributed Service Co-evolution based on Domain Objects -- A Web Services Infrastructure for the Management of Mashup Interfaces -- Resource Management in Service-Oriented Computing Introduction to the 2nd Workshop on Resource Management in Service-Oriented Computing (RMSOC) 2015 -- S-PDH: A CPS Service Contract Framework for Composition.-Towards RAM-Based Variant Generation of Business Process Models -- Extending Generic BPM with Computer Vision Capabilities -- Engineering for Service-oriented Enterprise Introduction to the Proceedings of the Workshop on Engineering for Service-oriented Enterprise (WESE) 2015 -- Extraction of Topic Map Ontology for Web Service-oriented -- Case study method and Research design for The Dynamic Multilevel Component Selection Problem -- Formal Modeling and Verification of Service-based systems Introduction to the Proceedings of the Workshop on FORmal MOdeling and VErification of Service-based systems (FOR-MOVES) 2015 -- Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata -- Toward the formalization of BPEL -- Intelligent Service Clouds Introduction to the Proceedings of the Workshop on Intelligent Service Clouds (ISC) 2015 -- Context-Aware Personalization for Smart Mobile Cloud Services -- Information governance requirements for architectural solutions supporting dynamic business networking -- An Evolutionary Multi-objective Approach for the Dynamic Multilevel Component Selection Problem -- Dependability Issues in Services Computing Introduction to the Proceedings of the First International Workshop on Dependability Issues in Services Computing (DISCO) 2015 -- A Reusable Architecture for Dependability and Performance Benchmarking of Cloud Services -- Safe Configurations of Replica Voting Processes in Fault-resilient Data Collection Services -- On Composition of Checkpoint and Recovery Protocols for Distributed Systems -- A Proactive Solution to Manage Web Service Unavailability in Service Oriented Software Systems.This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015. The conference hosted the following seven workshops: 11th International Workshop on Engineering Service-Oriented Applications, WESOA 2015; Second Workshop on Resource Management in Service-Oriented Computing, RMSOC 2015; Workshop on Intelligent Service Clouds, ISC 2015; Second Workshop on Intelligent Service Clouds; First International Workshop on Dependability Issues in Services Computing, DISCO 2015; Workshop on Engineering for Service-oriented Enterprises, WESE 2015; First International Workshop on Big Data Services and Computational Intelligence, BSCI 2015 (joined with ISC 2015); and Second International Workshop on Formal Modeling and Verification of Service-based systems, FOR-MOVES 2015. The 22 full papers included in this volume were carefully reviewed and selected from 45 submissions.Programming and Software Engineering,2945-9168 ;9586Software engineeringApplication softwareBusiness information servicesInformation technologyManagementElectronic data processingManagementComputer networksSoftware EngineeringComputer and Information Systems ApplicationsIT in BusinessComputer Application in Administrative Data ProcessingIT OperationsComputer Communication NetworksSoftware engineering.Application software.Business information services.Information technologyManagement.Electronic data processingManagement.Computer networks.Software Engineering.Computer and Information Systems Applications.IT in Business.Computer Application in Administrative Data Processing.IT Operations.Computer Communication Networks.005.1Norta Alexedthttp://id.loc.gov/vocabulary/relators/edtGaaloul Walidedthttp://id.loc.gov/vocabulary/relators/edtGangadharan G. Redthttp://id.loc.gov/vocabulary/relators/edtDam Hoa Khanhedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483257603321Service-Oriented Computing – ICSOC 2015 Workshops2808345UNINA