Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes.

Luciano Baresi, Giovanni Meroni, Pierluigi Plebani

Browse the full CaiSE paper archive.