Executability Analysis for Semantically Annotated Process Model. - Ping Gong 004; Jianmin Jiang; Shi Zhang; Zhi Qin Chen (APSCC, 2012)