Synthesizing Semantic Web Service compositions with jMosel and Golog

Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In this paper we investigate different technologies to attack the automatic solution of orchestration problems based on synthesis from declarative specifications, a semantically enriched description of the services, and a collection of services available on a testbed. In addition to our previously presented tableaux-based synthesis technology, we consider two structurally rather different approaches here: using jMosel, our tool for Monadic Second-Order Logic on Strings and the high-level programming language Golog, that internally makes use of planning techniques. As a common case study we consider the Mediation Scenario of the Semantic Web Service Challenge, which is a benchmark for process orchestration. All three synthesis solutions have been embedded in the jABC/jETI modeling framework, and used to synthesize the abstract mediator processes as well as their concrete, running (Web) service counterpart. Using the jABC as a common frame helps highlighting the essential differences and similarities. It turns out, at least at the level of complication of the considered case study, all approaches behave quite similarly, both considering the performance as well as the modeling. We believe that turning the jABC framework into experimentation platform along the lines presented here, will help understanding the application profiles of the individual synthesis solutions and technologies, answering questing like when the overhead to achieve compositionality pays of and where (heuristic) search is the technology of choice.

Original languageEnglish
Title of host publicationThe Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings
PublisherSpringer Verlag
Pages392-407
Number of pages16
ISBN (Print)364204929X, 9783642049293
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event8th International Semantic Web Conference, ISWC 2009 - Chantilly, United States
Duration: 25 Oct 200929 Oct 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5823 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Semantic Web Conference, ISWC 2009
Country/TerritoryUnited States
CityChantilly
Period25/10/0929/10/09

Fingerprint

Dive into the research topics of 'Synthesizing Semantic Web Service compositions with jMosel and Golog'. Together they form a unique fingerprint.

Cite this