Bulletin of the Technical Committee on Data Engineering September 2008 Vol. 31 No. 3 IEEE Computer Society Letters 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 Conference and Journal Notices ICDE 2009 Conference .................................................................. back cover