"Modeling and Formally Checking Workflow Properties Using UML and OCL."

Jens Brüning, Martin Gogolla, Peter Forbrig (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics