Diagnosing correctness of semantic workflow models | Publicación