State change architecture: a protocol for executable process models | IEEE Conference Publication | IEEE Xplore