Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL

Zhaoxia Wang, Jianmin Wang 0001, Lijie Wen, GuiMing Luo. Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL. In Runtong Zhang, José Cordeiro, Xuewei Li, Zhenji Zhang, Juliang Zhang, editors, ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June, 2011. pages 139-144, SciTePress, 2011.

Abstract

Abstract is missing.