Abstract: BPEL modeling technique based on object Petri net is proposed in this paper. An approach to extend abstract BPEL processes to executable ones is also provided, which guarantees the conformance to the business protocol specified by the abstract BPEL process. BPEL2OPN is used to simulate running the resulting model.

Key words: object Petri net, BPEL, behavior inheritance

摘要： 讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模，提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法，该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议，并通过BPEL2OPN对建模结果进行仿真。

关键词: 对象Petri网, 业务过程执行语言, 行为继承

CLC Number: 

• TP311.5