| Vol-548 Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.

# PhD Symposium
Joint ICSOC&ServiceWave 2009 Conference

### Proceedings of the PhD Symposium of the 7th International Joint Conference on Service Oriented Computing (ICSOC/ServiceWave 2009)

### Stockholm, Sweden, November 26, 2009.

Edited by

### Florian Daniel *
Fethi Rabhi **

* University of Trento, Information Engineering and Computer Science Department, Povo/Trento, Italy
** University of New South Wales, Australian School of Business, Sydney, Australia

## Table of Contents

Preface

1. Analyzing Orchestration of BPEL Specified Services with Model Checking
   Joseph Okika
2. Cross-organizational Service Security -- Solutions for Attack Modeling and Defense
   André Miede
3. Knowledge-driven SOA Migration
   Maryam Razavian
4. Application of Data Mining to Performance Management of Distributed Enterprise Systems
   Sergio Pacheco-Sanchez
5. Maintenance of customized processes
   Pavel Bulanov
6. Towards an Abstraction Layer for Scientific Services
   Marcos Baez
7. Online Testing of Service-Oriented Architectures to detect State-based Faults
   Michaela Simona Greiler
8. Ensuring Cost-Optimal SLA Conformance for Composite Service Providers
   Philipp Leitner
9. Remote Sensing Service chain Self-Evolution Method
   Haifeng Li
10. Remotely Sensed Image Processing Service Automatic Composition
    Xiaoxia Yang

## Download proceedings

If you prefer downloading the full version of the PhD Symposium proceedings, please use the following link: download proceedings.

06-Dec-2009: submitted by Florian Daniel
07-Dec-2009: published on CEUR-WS.org