Event-driven process execution model for process virtual machine

摘要

Current orchestration and choreography process engines only serve with dedicate process languages. To solve these problems, an Even~driven Process Execution Model （EPEM） was developed. Formalization and map- ping principles of the model were presented to guarantee the correctness and efficiency for process transformation. As a case study, the EPEM descriptions of Web Services Business Process Execution Language （WS~BPEL） were represented and a Process Virtual Machine （PVM）-OncePVM was implemented in compliance with the EPEM.