doi dblp Mining change operations for workflow platform as a service Jian Cao | Yan Yao | Yi Wang 2015 Volume 18 Issue 4