Lei Sun, Hongming Cai, Lihong Jiang: A Checking Consistency Framework Based on Multi-View Models Towards Business Process Model Repository. ICEBE 2012: 350-355