semantics for workflows