Anomalies in business process models for mobile scenarios with Location Constraints

One of the salient characteristic of business processes from the domain of logistics is the physical mobility of the actors. However, the graphical notations to depict business processes available so far do not provide support to express the spatial dimension. In this article at hand we therefore introduce an extension to Activity Diagrams from the Unified Modeling Language (UML) which supports defining several types of so called Location Constraints. Such a location constraint makes a statement about the eligible location(s) of an actor for individual activities. After an exemplification of this modeling approach with a scenario from the domain of logistics the article turns towards a discussion how location constraints assigned to an activity diagram can be checked against anomalies.