Abstract
In a multi-party business process, the choreography defines the conversational protocol among the parties, so that the visibility of the parties’ private processes is limited to the set of operations required to respect such a protocol. Especially in scenarios where physical resources are exchanged, knowing how a resource owned by a party is managed in the premises of another party is not possible. Thus, possible misalignments can be detected too late. At the same time, IoT is increasingly adopted to enact business processes in many domains: e.g., logistics, manufacturing, healthcare. As, with IoT, smart devices can physically flow through the different parties involved in a process, their sensing capabilities can be exploited to improve the process compliance checking. With this work we propose an approach for compliance checking that mixes commitments and smart devices. Commitments, declaratively defining mutual contractual relationships between parties, drive the configuration of smart devices that, flowing along with the process flow, check their satisfaction and, in case of misalignment, timely inform the involved parties.