Provisioning resilient, adaptive Web services-based workflow: a semantic modeling approach | IEEE Conference Publication | IEEE Xplore