07174nam 22008775 450 99646571300331620200702235827.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[electronic resource] 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 ;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 ;9586Software engineeringApplication softwareInformation technologyBusiness—Data processingManagement information systemsComputer scienceComputer communication systemsSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040IT in Businesshttps://scigraph.springernature.com/ontologies/product-market-codes/522000Computer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software engineering.Application software.Information technology.Business—Data processing.Management information systems.Computer science.Computer communication systems.Software Engineering.Information Systems Applications (incl. Internet).IT in Business.Computer Appl. in Administrative Data Processing.Management of Computing and Information Systems.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/edtMiAaPQMiAaPQMiAaPQBOOK996465713003316Service-Oriented Computing – ICSOC 2015 Workshops2808345UNISA