EPC verification in the ARIS for MySAP reference model database door B.F. van Dongen & M.H. Janssen-Vullers