As part of a Doctoral research project carried out at the DBIS Group, game design elements were integrated into the Horus Business Modeler (HBM), a software tool for integrated business process modeling developed by the Horus software GmbH in Ettlingen, Germany. This practice is known as gamification and is inherently interdisciplinary, i.e. it is concerned with a variety of research areas and disciplines, including Game Design, Information Systems Design, Human-computer Interaction, Software Engineering, Behavioral Psychology, and the application domain at hand.
Gamification has become one of the most notorious methods for enriching information systems and is recently paid a lot of attention in research (de Sousa Borges et al. 2014). Applied in various fields such as education (Deterding et al. 2011; Huang and Soman 2013), health care, crowdsourcing, sustainability or work (Seaborn and Fels 2015), gamification is used to improve the level and quality of participation, motivation of participants or the effectiveness of e.g. learning in a gameful designed context (Hamari et al. 2014).
The process modelling language EPC was invented in 1992. Since then, many variants of EPC have been proposed in literature (see e.g. Riehle et al. 2016 for an overview). A thesis with this topic should compare syntax and formal semantics of different EPC variants. Goal of this thesis is to develop and specify syntax and formal semantics of an integrated EPC approach, based on a meta-model proposed by Jannaber et al. (2016).