Visual support for work assignment in process-aware information systems: Framework formalisation and implementation