A Rewriting Logic Approach to OWL-S Composite Process Formal Specification. - JunFeng Wu; HuaiKou Miao (APSCC, 2008)