Process behavior meta-modeling for the derivation of enactment engines | IEEE Conference Publication | IEEE Xplore