Concern-based specification and runtime verification of declarative process models

Montague, S

Abstract

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 modelling language.
In practice, business processes can be complex. They can consist
of dozens of activities with complex ordering dependencies. In this
thesis, we claim that such complexity can be handled by the principle
of separation of concerns. We introduce a concern-based framework
called MIC (Modelling Interactions using Concerns). In the MIC
framework a business process is modelled in a declarative process
model as a set of interrelated concerns. Computational logic is used to
represent and reason about the concerns and relations among them.
It is argued that the declarative process models constructed by the
MIC framework can be understood, maintained and reused.

Citation

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

• Thesis Type: Thesis
• Deposit Date: Mar 9, 2016
• Additional Information: Access Information : At the author’s request this item is not available. You may be able to access the hard copy by visiting the University of Salford Library
• Award Date: Dec 1, 2011