Skip to the content

Concern-based specification and runtime verification of declarative process models

Montague, S Concern-based specification and runtime verification of declarative process models , PhD thesis, Salford: University of Salford.

[img] PDF
Restricted to Repository staff only

Download (5MB)
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

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.

Item Type: Thesis (PhD)
Schools: Schools > School of Computing, Science and Engineering
Depositing User: WM Taylor
Date Deposited: 09 Mar 2016 09:50
Last Modified: 14 Mar 2016 16:10
URI: http://usir.salford.ac.uk/id/eprint/38097

Actions (login required)

Edit record (repository staff only) Edit record (repository staff only)

Downloads

Downloads per month over past year