An empirical study of rules for mapping BPMN models to graphical user interfaces · Study