Table of Contents

Preface...... vi

Section 1 Introduction and Foundation

Chapter 1 Service-Oriented Computing: From Web Services to Service-Oriented Components...... 1 Stéphanie Chollet, Laboratoire d’Informatique de Grenoble, France Philippe Lalanda, Laboratoire d’Informatique de Grenoble, France Jonathan Bardin, Laboratoire d’Informatique de Grenoble, France

Section 2 Service Provision and Design

Chapter 2 Semi-Automated Lifecycles for Eliciting Requirements for Service-Oriented Environments...... 22 M. Brian Blake, University of Notre Dame, USA

Chapter 3 Quality of Service and Extra-Functional Properties for Web Services: A Model-Driven Approach...... 35 Guadalupe Ortiz, University of Cádiz, Behzad Bordbar, University of Birmingham, UK

Chapter 4 The Foundations of Service Eco-Systems...... 65 Aditya Ghose, , Section 3 Service Delivery

Chapter 5 A QoS-Aware Service Bus with WSLA-Based Monitor for Media Production Systems...... 80 Ing-Yi Chen, National Taipei University of Technology, Guo-Kai Ni, National Taipei University of Technology, Taiwan Rich C. Lee, National Taipei University of Technology, Taiwan

Section 4 Service Search and Selection

Chapter 6 A Goal-Driven Approach for Service-Oriented Systems Design...... 101 Chiung-Hon Leon Lee, Nanhua University, Taiwan Alan Liu, National Chung Cheng University, Taiwan Arthur Shr, Louisiana State University, USA

Section 5 Service Composition

Chapter 7 Bridging the Gap between Business Process Models and Service Composition Specifications...... 124 Stephan Buchwald, Daimler AG, Germany Thomas Bauer, Daimler AG, Germany Manfred Reichert, University of Ulm, Germany

Chapter 8 A Model-Driven Approach to Service Composition with Security Properties...... 154 Stéphanie Chollet, Laboratoire d’Informatique de Grenoble, France Philippe Lalanda, Laboratoire d’Informatique de Grenoble, France

Chapter 9 Adaptive and Dynamic Service Compositions in the OSGi Service Platform...... 175 Lionel Touseau, Université de Grenoble, France Kiev Gama, Université de Grenoble, France Didier Donsez, Université de Grenoble, France Walter Rudametkin, Université de Grenoble, France

Section 6 Service Verification and Validation

Chapter 10 Service Composition Verification and Validation...... 200 Manuel Palomo-Duarte, University of Cadiz, Spain Section 7 Service Management

Chapter 11 Towards a High-Availability-Driven Service Composition Framework...... 221 Jonathan Lee, National Central University, Taiwan Shang-Pin Ma, National Taiwan Ocean University, Taiwan Shin-Jie Lee, National Central University, Taiwan Chia-Ling Wu, National Central University, Taiwan Chiung-Hon Leon Lee, Nanhua University, Taiwan

Section 8 SOA Applications

Chapter 12 SOA Designed Health Care System for Taiwan Government...... 245 Jun-Bin Shi, Industrial Technology Research Institute, Taiwan Shu-Fen Yang, Industrial Technology Research Institute, Taiwan Tsung-Jen Huang, Industrial Technology Research Institute, Taiwan

Chapter 13 Case Study on SOA Implementation Framework and Applications...... 272 Tzu-Chun Weng, Institute of Information Industry (III), Taiwan Yu-Ting Lin, Institute of Information Industry (III), Taiwan Jay Stu, Institute of Information Industry (III), Taiwan

Chapter 14 Abstract Service for Cyber Physical Service Composition...... 303 Yajing Zhao, University of Texas at Dallas, USA Jing Dong, University of Texas at Dallas, USA Jian Huang, University of Texas at Dallas, USA Yansheng Zhang, University of Texas at Dallas, USA I-Ling Yen, University of Texas at Dallas, USA Farokh Bastani, University of Texas at Dallas, USA

Glossary...... 323

About the Contributors...... 331

Index...... 337