Research Track - Session 1

SESSION 1: SERVICE DESCRIPTION, DISCOVERY AND COMPOSITION
Session Chair: Walter Binder 10:00-12:00 Markus Lanthaler and Christian Guetl.

Aligning Web Services with the Semantic Web to Create a Global Read Write Graph of Data - Slides
Maciej Zaremba, Tomas Vitvar, Sami Bhiri and Manfred Hauswirth.

Service Offer Discovery Using Genetic Algorithms.
Petros Papapanagiotou and Jacques Fleuriot.

Formal verification of Web Services composition using Linear Logic and the pi-calculus.
Xia Zhao, Enjie Liu and Gordon Clapworthy.

A Two-Stage RESTful Web Service Composition Method Based on Linear Logic.