Model's decomposition and instances transformation in workflow management system | IEEE Conference Publication | IEEE Xplore