Ensuring the semantic correctness of a BAUML artifact-centric BPM | Publicación