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
SN - 1617-9846
VL - 7
SP - 223
EP - 250
JO - Information Systems and e-Business Management
JF - Information Systems and e-Business Management
IS - 2
ER -