Zhejiang Sci-Tech University
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.