A semantical framework to engineering WSBPEL processes

Mohsen Rouached, Walid Fdhila, Claude Godart

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added services, which has received much interest in supporting enterprize application integration. Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behavior. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web services, and uses a formal logic to model their dynamic behavior, which enables their formal analysis and the inference of relevant properties of the systems being built.

Original languageEnglish
Pages (from-to)223-250
Number of pages28
JournalInformation Systems and e-Business Management
Volume7
Issue number2
DOIs
Publication statusPublished - 2009

Fingerprint

Web services
Formal logic
Industry
Chemical analysis
Interoperability
Dynamic models
Semantics
Internet
Specifications
Communication

Keywords

  • Business process management
  • Formal verification
  • Web service composition

ASJC Scopus subject areas

  • Information Systems

Cite this

A semantical framework to engineering WSBPEL processes. / Rouached, Mohsen; Fdhila, Walid; Godart, Claude.

In: Information Systems and e-Business Management, Vol. 7, No. 2, 2009, p. 223-250.

Research output: Contribution to journalArticle

Rouached, Mohsen ; Fdhila, Walid ; Godart, Claude. / A semantical framework to engineering WSBPEL processes. In: Information Systems and e-Business Management. 2009 ; Vol. 7, No. 2. pp. 223-250.
@article{cfce47c463534989af8bafe840cb576d,
title = "A semantical framework to engineering WSBPEL processes",
abstract = "Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added services, which has received much interest in supporting enterprize application integration. Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behavior. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web services, and uses a formal logic to model their dynamic behavior, which enables their formal analysis and the inference of relevant properties of the systems being built.",
keywords = "Business process management, Formal verification, Web service composition",
author = "Mohsen Rouached and Walid Fdhila and Claude Godart",
year = "2009",
doi = "10.1007/s10257-008-0081-5",
language = "English",
volume = "7",
pages = "223--250",
journal = "Information Systems and e-Business Management",
issn = "1617-9846",
publisher = "Springer Verlag",
number = "2",

}

TY - JOUR

T1 - A semantical framework to engineering WSBPEL processes

AU - Rouached, Mohsen

AU - Fdhila, Walid

AU - Godart, Claude

PY - 2009

Y1 - 2009

N2 - Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added services, which has received much interest in supporting enterprize application integration. Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behavior. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web services, and uses a formal logic to model their dynamic behavior, which enables their formal analysis and the inference of relevant properties of the systems being built.

AB - Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added services, which has received much interest in supporting enterprize application integration. Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behavior. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web services, and uses a formal logic to model their dynamic behavior, which enables their formal analysis and the inference of relevant properties of the systems being built.

KW - Business process management

KW - Formal verification

KW - Web service composition

UR - http://www.scopus.com/inward/record.url?scp=59349089085&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=59349089085&partnerID=8YFLogxK

U2 - 10.1007/s10257-008-0081-5

DO - 10.1007/s10257-008-0081-5

M3 - Article

AN - SCOPUS:59349089085

VL - 7

SP - 223

EP - 250

JO - Information Systems and e-Business Management

JF - Information Systems and e-Business Management

SN - 1617-9846

IS - 2

ER -