Towards Cloud-enabled Business Process Management Based on Patterns, Rules and Multiple Models | IEEE Conference Publication | IEEE Xplore