对业务流程执行进行形式化的最可行的方法是（）。

A.ebXML

B.XML Parser

C.WS-Coordination

D.SOAP4J

E.BPEL