An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking.

Tao Sun, Kangshuai Zuo, Wenjie Zhong

Browse the full ISPA paper archive.