Query Nets: Interacting Workflow Modules That Ensure Global Termination