Service-oriented computing - ICSOC 2015 Workshops :WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers

  • 其他作者: Norta, Alex, , Gaaloul, Walid, , Gangadharan, G. R., , Dam, Hoa Khanh,
  • 出版:
  • 稽核項: xxix, 255 pages :illustrations ;24 cm.
  • 叢書名: Lecture notes in computer science,9586.
  • 標題: Electronic commerce Congresses. , Service-oriented architecture (Computer science) , Electronic dataprocessing Distributed processing -- Congresses. , Electronic dataprocessing , Electronic commerce , Web services Congresses. , Distributed processing , Web services , Service-oriented architecture (Computer science) Congresses.
  • ISBN: 366250538X , 9783662505380
  • ISBN: 0302-9743 ;
  • 附註: 105年科技部補助人文科及社會科學研究圖書計畫:文學I:戲曲與表演文化. Includes bibliographical references and author index. 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.
  • 系統號: 005266221
  • 資料類型: 圖書
  • 讀者標籤: 需登入
  • 引用網址: 複製連結