A Rewriting Logic Approach to OWL-S Composite Process Formal Specification | IEEE Conference Publication | IEEE Xplore