Verifying the Consistency between Business Process Model and Data Model | IEEE Conference Publication | IEEE Xplore