Bulletin of the Technical Committee on


September 2008 Vol. 31 No. 3   IEEE Computer Society


Letter from the Editor-in-Chief   David Lomet 1
Letter from the Special Issue Editor   Jianwen Su 2

Special Issue on Semantic Web Services: Composition and Analysis

A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services    
    Michael Gruninger, Richard Hull, and Sheila McIlraith 3
Semantics enhanced Services: METEOR-S, SAWSDL and SA-REST    
    Amit P. Sheth, Karthik Gomadam, and Ajith Ranabahu 8
Process Mediation, Execution Monitoring and Recovery for Semantic Web Services    
    Katia Sycara and Roman Vaculín 13
Automatic Service Composition and Synthesis: the Roman Model    
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, and Fabio Patrizi 18
Automated Composition of Web Services: the ASTRO Approach    
    Annapaola Marconi, Marco Pistore, and Paolo Traverso 23
Choreography Modeling and Analysis with Collaboration Diagrams   Tevfik Bultan and Xiang Fu 27
Choreography Design Using WS-BPEL   Oliver Kopp and Frank Leymann 31
WAVE: Automatic Verification of Data-Driven Web Services   Alin Deutsch and Victor Vianu 35
Web Service Protocols: Compatibility and Adaptation    
    Marlon Dumas, Boualem Benatallah, and Hamid R. Motahari Nezhad 40
Process Mining in Web Services: The WebSphere Case   W.M.P. van der Aalst and H.M.W. Verbeek 45

Announcements and Notices

ICDE 2009 Conference   backcover