A Linear Logic Representation for BPEL Process Protocol

作者：Wu, Jian^*; Jin, Lu

来源：Applied Mathematics & Information Sciences, 2011, 5(2): 25-31.

• Web Service
• Service Adaptation
• Linear Logic
• BPEL

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. This paper presents a linear logic based representation for BPEL process. Our approach expresses both basic and structured activities in BPEL. With the help of proof-searching tools, our approach set up a formal foundation for (semi)automatically solving more challenging issues of service computing.

• 出版日期2011-3
• 单位浙江大学