Semantics is essential to verify, monitor, and synthesize services that do what we want. We have therefore extended the tools and techniques described above to work with languages that allow for semantic descriptions of web services, including OWL-S and, for the future, WSMO. Our approach aims at composing semantic web services into executable processes, in order to reduce effort, time and errors due to the manual development at the programming level.

Some relevant publications: