Information sources providing real-time status of physical
objects have drastically increased in recent times. So far, research in
business process monitoring has mainly focused on checking the completion
of tasks. However, the availability of real-time information allows
for a more detailed tracking of individual business tasks. This paper
describes a framework for controlling the safe execution of tasks and signalling
possible misbehaviours at runtime. It outlines a real use case on
smart logistics and the preliminary results of its application.European Union FP7/2007-2013 / 318275 (GET Service