Formalizing Semantics of OWL-S Process Model | IEEE Conference Publication | IEEE Xplore