A Framework for Semantic Effect Annotation of Business Process Models

A key challenge in devising solutions to a range of problems associated with business process management, such as process life cycle management, compliance management and enterprise process architectures, is the problem of identifying process semantics. The current industry standard business process modelling notation, BPMN, provides little by way of semantic description of the effects of a process (beyond what can be conveyed via the nomenclature of tasks and the decision conditions associated with gateways). This thesis describes the conceptual underpinnings, design and implementation of the Process Semantic Effect Evaluation and Reasoning (ProcessSEER) framework...