A Linear Logic Representation for BPEL Process Protocol

Download Now
Provided by: Zhejiang Sci-Tech University
Topic: Big Data
Format: PDF
Business Process Execution Language (BPEL) is a powerful tool for describing web services compositions. The protocol of a BPEL process indicates the order of messages, in which it sends or receives messages, as well as the structure of the internal logic. Although formal methods have been used to model BPEL, the purposes of these researches are to verify BPEL process and eliminate ambiguity. Recent research advances in dynamic adaptation and reconfiguration of service processes require a new formal method to express BPEL process with the ability of problem solving.
Download Now

Find By Topic