SCS: A case study on service composition in automobile supply chainTong MoJingmin Xuet al.2008Journal of Harbin Institute of Technology (New Series)
A static compliance-checking framework for business process modelsYing LiuSamuel Mülleret al.2007IBM Systems Journal
Abstract Logic Tree based framework for component based solution composition design and executionSun WeiZhang Xinet al.2007IJSEKE
Guided reasoning of complex E-business process with business bug patternsKe XuYing Liuet al.2006ICEBE 2006
Pi calculus-based bitransformation of state-driven model and flow-driven modelKe XuYing Liuet al.2006International Journal of Business Process Integration and Management