Formal Model for Semantic-Driven Service Execution

Authors:
Tomas Vitvar;Adrian Mocan;Maciej Zaremba
Affiliations:
Semantic Technology Institute (STI2), University of Innsbruck, Austria;Semantic Technology Institute (STI2), University of Innsbruck, Austria;Digital Enterprise Research Institute (DERI), National University of Ireland in Galway, Ireland
Venue:
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Year:
2008

Citing 8
Cited 0

Representing, analysing and managing web service protocols

Data & Knowledge Engineering - Special issue: ER 2004
WSMO-Lite: Lightweight Semantic Descriptions for Services on the Web

ECOWS '07 Proceedings of the Fifth European Conference on Web Services
IRS-III: A broker-based approach to semantic Web services

Web Semantics: Science, Services and Agents on the World Wide Web
Web Service Modeling Ontology

Applied Ontology
Automated business-to-business integration of a logistics supply chain using semantic web services technology

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
WSMX: a semantic service oriented middleware for b2b integration

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
An abstract model for process mediation

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
WSMX process mediation based on choreographies

BPM'05 Proceedings of the Third international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integration of heterogeneous services is often hard-wired in service or workflow implementations. In this paper we define an execution model operating on semantic descriptions of services allowing flexible integration of services with solving data and process conflicts where necessary. We implement the model using our WSMO technology and a case scenario from the B2B domain of the SWS Challenge.