Enabling flexible location-aware business process modeling and execution

• A novel business process modeling approach is presented that is able to couple control-flow concerns with geospatial constraints;
• A formalized mapping is defined to convert our approach to coloured Petri nets (CPN) so as to enact and validate the models;
• A prototype implementation is developed to illustrate the feasibility ofour approach;
• Our approach allows to constrain and monitor process behavior based on location-driven constraints during their execution.

Business process management (BPM) has emerged as one of the abiding systematic management approaches in order to design, execute and govern organizational business processes. Traditionally, most attention within the BPM community has been given to studying control-flow aspects, without taking other contextual aspects into account. This paper contributes to the existing body of work by focusing on the particular context of geospatial information. We argue that explicitly taking this context into consideration in the modeling and execution of business processes can contribute to improve their effectiveness and efficiency. As such, the goal of this paper is to make the modeling and execution aspects of BPM location-aware, i.e. to govern and constrain control-flow and process behavior based on location-based constraints. We do so by proposing a Petri net modeling extension which is formalized by means of a mapping to colored Petri nets (CPNs). Our approach has been implemented using CPN Tools and a simulation extension was developed to support the execution of location-aware process models. We also illustrate the feasibility of coupling business process support systems with geographic information systems by means of an experimental case.