Brüning, J.; Wolff, A. Declarative Models for Business Processes and UI Generation Using OCL. ECEASST 2010, 24.