Inter-operability of Workflow Applications: Local Criteria for Global Soundness