U. of Salford
Concern-based specification and runtime verification of declarative process models
Abstract
dc:description.abstractAn 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.
Degree
thesis:*- Level dc:type.qualificationlevel
- Doctoral (Level 8)
- Year dc:date.issued
- 2011
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Montague, S
Rights
- Language dc:language
- en
Identifiers
dc:identifier.*- Identifier
- oai:salford-repository.worktribe.com:1405594
- OAI identifier oai:identifier
- oai:salford-repository.worktribe.com:1405594