000 05771nam a22006135i 4500
001 978-3-662-50539-7
003 DE-He213
005 20200421111841.0
007 cr nn 008mamaa
008 160425s2016 gw | s |||| 0|eng d
020 _a9783662505397
_9978-3-662-50539-7
024 7 _a10.1007/978-3-662-50539-7
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aService-Oriented Computing - ICSOC 2015 Workshops
_h[electronic resource] :
_bWESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers /
_cedited by Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2016.
300 _aXXIX, 255 p. 69 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9586
505 0 _aEngineering 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aInformation technology.
650 0 _aBusiness
_xData processing.
650 0 _aComputer communication systems.
650 0 _aSoftware engineering.
650 0 _aApplication software.
650 0 _aManagement information systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aInformation Systems Applications (incl. Internet).
650 2 4 _aIT in Business.
650 2 4 _aComputer Appl. in Administrative Data Processing.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aComputer Communication Networks.
700 1 _aNorta, Alex.
_eeditor.
700 1 _aGaaloul, Walid.
_eeditor.
700 1 _aGangadharan, G. R.
_eeditor.
700 1 _aDam, Hoa Khanh.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783662505380
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9586
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-662-50539-7
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c55537
_d55537