Abstract:Bridging the semantic gap between business process models and semantic Web services becomes increasingly important in order to help automating business process integration in large organizations. Traditional workflow languages (such as BPEL4WS) support the modeling of business processes as syntax based compositions of Web services. When such processes are exported as Web services they as well expose syntactical interfaces. These syntactical interfaces allow only static composition and hence limit interactions between business partners. The obstacles of syntax based integration and composition can be addressed by enhancing business processes with semantics. This enables us to 1) edit and model the compositions of Web services on the basis of matching semantics 2) provide semantically enriched descriptions of business processes. In particular, it will support the dynamic and automated discovery, invocation and composition of business processes as semantic Web services. In this paper we present a mapping strategy that helps to overcome the syntactical limitations of BPEL processes by presenting them as OWL-S semantic Web services. The proposed strategy supports the mapping of BPEL process descriptions to complete OWL-S suit e of ontologies (i.e. Profile, Process Model and Grounding ontologies). A prototypical implementation of the proposed approach has also been presented.

Analysis of OWL-S Process Model Based on Workflow Patterns and its Application

Research Of Web Services Workflow And Its Key Technology Based On Xpdl

Extended Workflow Model Based on Web Services

Automatic Service Composition Based on Process Ontology

From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions

Formal Analysis of OWL-S Process Model by FDR

Automated Model Checking and Testing for Composite Web Services

A Formal Model for Web Service Composition and Its Application Analysis

Model for composing semantic Web service workflows

Simulation Modeling and Analysis of Business Process

A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata

Analysis of Business Process Integration in Web Service Context.

A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net

Web services composition based on ontology and workflow

Novel Method to Verify Web Services Process

Web Service Collaboration Analysis Via Automata

Bridging the semantic gap between business processes and semantic Web services

An Interface Automata Based Model For Web Service Composition

Automatic Composition of Web Services Based on Task Dependency Specification

Study on Verification of Web Services Composition Based on OWL-S

A layered workflow model and its mapping mechanism for Web service