Using Propositional Logic for Requirements Verification of Service Workflow | IEEE Journals & Magazine | IEEE Xplore