Formalizing the situation of a business process activity

Business processes are dynamic and constantly evolving. Contextual elements that had not yet been identified and represented can arise and influence the execution of each process instance in diverse manners. In this scenario, the identification of these elements is considered of great importance. This paper proposes a formalism for context associated with business processes that intends to identify the situation of an activity in order to subsidize decisions to be taken within the execution of a process.