Verifiable UML Artifact-Centric Business Process Models.

Diego Calvanese, Marco Montali, Montserrat Estaol, Ernest Teniente

Browse the full CIKM paper archive.