Towards enhancing business process modeling formalisms of EKD with consistency consideration | IEEE Conference Publication | IEEE Xplore