IEEE Computer Society
| 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 |
Announcements and Notices |
| ICDE 2009 Conference | backcover |