publication venue for A Deductive Approach for Resource Interoperability and Well-Defined Workflows 2008