Concern-based specification and runtime verification of declarative process models
(2011)
Thesis
Montague, S. Concern-based specification and runtime verification of declarative process models. (Thesis). Salford: University of Salford
An organisation has a number of business processes that when carried out achieve its business goals. A business process defines a specific ordering of activities. It can be modelled using a process model. The process model is constructed using a m... Read More about Concern-based specification and runtime verification of declarative process models.