JiDong Ge, HaiYang Hu, Hao Hu, Xianglin Fei. Invariant Analysis for Ordering Constraints of Multi-view Business Process Model. In Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi, editors, Web Technologies and Applications - APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11-13, 2012. Proceedings. Volume 7234 of Lecture Notes in Computer Science, pages 257-268, Springer, 2012. [doi]
Abstract is missing.