The Extension of Semantic Formalization of Service Workflow Specification Language | IEEE Journals & Magazine | IEEE Xplore