Interface TransformDFDToPrologWorkflow