Business Process Modelling based on formal temporal theory with an application to hospital patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

Re-modelling clay: ceramic practice and the museum in Britain (1970-2014)

This thesis analyses how the dialogue between ceramic practice and museum practice has contributed to the discourse on ceramics. Taking Mieke Bal’s theory of exposition as a starting point, it explores how ‘gestures of showing’ have been used to frame art‑oriented ceramic practice. Examining the gaps between the statements these gestures have made about and through ceramics, and the objects they seek to expose, it challenges the idea that ceramics as a category of artistic practice has ‘expanded.’ Instead, it forwards the idea that ceramics is an integrative practice, through which practitioners produce works that can be read within a range of artistic (and non-artistic) frameworks. Focusing on activity in British museums between 1970 and 2014, it takes a thematic and broadly chronological approach, interrogating the interrelationship of ceramic practice, museum practice and political and critical shifts at different points in time. Revealing an ambiguity at the core of the category ‘ceramics,’ it outlines numerous instances in which ‘gestures of showing’ have brought the logic of this categorisation into question, only to be returned to the discourse on ‘ceramics’ as a distinct category through acts of institutional recuperation. Suggesting that ceramics practitioners who wish to move beyond this category need to make their vitae as dialogic as their works, it indicates that many of those trying to raise the profile of ‘ceramics’ have also been complicit in separating it from broader artistic practice. Acknowledging that those working within institutions that sustain this distinction are likely to re-make, rather than reconsider ceramics, it leaves the ball in their court.