Invariant Analysis for Ordering Constraints of Multi-view Business Process Model.

JiDong Ge, Haiyang Hu, Hao Hu, Xianglin Fei

Browse the full APWEB paper archive.