A Semantic Model and Query Mechanism for Service Workflow | IEEE Conference Publication | IEEE Xplore