Technologies for E-Services电子服务用技术/会议文集

This book constitutes the thoroughly refereed postproceedings of the 5th International Workshop on Technologies for E-Services, TES 2004, held in Toronto, Canada in August 2004 in conjunction with VLDB 2004.
The 12 revised full papers presented went through two rounds of reviewing and selection. Among the topics addressed are current issues on various aspects of e-services, in particular of Web services, such as Web service composition, Web service selection, formal Web service development, e-service coordination, wireless ad-hoc networking, b26 information services, enterprise application integration, and m-commerce.

TES 2004
Robust Web Services via Interaction Contracts
When are Two Web Services Compatible?
Negotiation Support for Web Service Selection
From Web Service Composition to Megaprogramming
Using Process Algebra for Web Services: Early Results and Perspectives
Flexible Coordination of F~Services
E$C: A Tool for Automatic Composition of e-Services Based on　Logics of Programs
Dynamically Self-Organized Service Composition in Wireless Ad Hoc　Networks
Designing Workflow Views with Flows for Large-Scale　Business-to-Business Information Systems
A Practice in Facilitating Service-Oriented Inter-enterprise Application　Integration
Discovering and Using Web Services in M-Commerce
Financial Information Mediation:A Case Study of Standards Integration for Electronic Bill Presentment and Payment Using the COIN Mediation Technology
Author Index