From business process models to pervasive applications: Synchronization and optimization | IEEE Conference Publication | IEEE Xplore