---

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.

---

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.

---