Montague, S. Concern-based specification and runtime verification of declarative process models. (Thesis). Salford: University of Salford