"Declarative Models for Business Processes and UI Generation using OCL."

Jens Brüning, Andreas Wolff (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics