Hi, I would like to indroduce new extension which verify XPDL via JPF.The XPDL is a business process definition language. The XPDL verification framework is similar to statechart model checking extension. If no one disapprove my contribution, I will commit the code within a week.-- Taehoon Lee |
