2026-09-21T12:33:54Z salford-repository.worktribe.com

oai:salford-repository.worktribe.com:1405594 2026-06-05T21:05:36Z 084104101115105115 openaccess

Thesis Concern-based specification and runtime verification of declarative process models An organisation has a number of business processes that whencarried out achieve its business goals. A business process definesa specific ordering of activities. It can be modelled using a processmodel. The process model is constructed using a modelling language.In practice, business processes can be complex. They can consistof dozens of activities with complex ordering dependencies. In thisthesis, we claim that such complexity can be handled by the principleof separation of concerns. We introduce a concern-based frameworkcalled MIC (Modelling Interactions using Concerns). In the MICframework a business process is modelled in a declarative processmodel as a set of interrelated concerns. Computational logic is used torepresent and reason about the concerns and relations among them.It is argued that the declarative process models constructed by theMIC framework can be understood, maintained and reused. Montague, S Doctoral (Level 8) 2011-12-01 oai:salford-repository.worktribe.com:1405594 University of Salford https://salford-repository.worktribe.com/output/1405594 2011 en Staff Only