A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling

Research students exhibition catalogue 2011

The catalogue demonstrates the scope and vibrancy of current inquiries and pays tribute to the creative capacity and investment of UCA research students. It brings together contributions from students who are at different stages in their research ad/venture. Their explorations are connected by the centrality of contemporary material practices as focal point for the reconsideration of societal values, cultural symbols and rituals and their meaning, and the trans/formation of individual, collective and national identities The media and formats employed range from cloth, jewellery and ceramics to analogue film, the human voice and the representation of dress and fashionin virtual environments. Thematic interests span from explorations at the interface of art and medical science to an investigation of the role of art in contested spaces, or the role of metonymy in ‘how the arts think’ And whilst the projects are motivated by personal curiosity and passion, their outcomes transcend the boundaries of individual practice and offer new insights, under-standing and applications for the benefit of wider society. Prof. Kerstin Me

A Precision Post-Operative Wellness Monitoring Solution

Multiple orthogonal challenges around escalating costs and providing quality care plague healthcare delivery, especially in OECD countries. This research in progress paper addresses the post-operative discharge phase of the patient journey and proffers a technology enabled model that both supports a quality care experience post discharge but also prudent management to minimize costly unplanned readmissions and thereby subscribe to a value-based care paradigm. The chosen context is stoma patients but the solution can be easily generalized to other contexts. Next steps include the conducting of clinical trials to establish proof of concept, validity and usability

Developing Models of Road Tunnels with Petri Nets

1200 road tunnels have been built in Norway's European, national, and county road networks. Length, incline, and traffic volume vary, and it may cross through fjords or mountains, have one or two runs, and be near or far from populous areas. Variation is high, and the development of new road tunnels is a never-ending process; as a result, new records are being established, the country's transportation systems and infrastructure are growing more complex, and more people rely on driving in tunnels. As science and technology advance, new solutions are developed to improve tunnel safety and prevent accidents by boosting safeguards. Several studies have been undertaken to investigate the causes of traffic accidents and create preventative methods. Most accident occurs on open roadways. However, tunnels tend to cause serious accidents especially in the inner zone. This thesis used Petri Nets. It's a flexible and easy-to-use network that helps explain, analyse, and simulate complex systems using real-time data so you can better understand the problem or system. The suggested model offers a simple user interface and requires little math. The paper included a GPenSIM model and a brief review of tunnels and vehicle traffic. Different models are crated in this thesis with varying complexity. The last model simulates a tunnel with a roundabout inside. Here data from the Norwegian Road Authorities are used to see of the model can simulate a realistic scenario. The data shows that the model is performing as expected and that the tunnel manages to deal with the traffic volume during peak hours. The model also allows to change the traffic volume to simulate if the tunnel can handle the additional number of vehicles. As constructed tunnels need to take future traffic volume into account, this simulation feature gives useful insight to the tunnels ability to handle the increase

A cloud resource management model for the creation and orchestration of social communities

Managing resources, context and data in mobile clouds is a challenging task. Specific aspects of spontaneity, large interaction space and dynamic interaction share a metaphorical resemblance to chemistry, chemical reactions and solutions. In this paper, it is argued that by adopting a nature-inspired chemical computing model, a mobile cloud resource management model can be evolved to serve as the basis for novel service modelling and social computing in mobile clouds. To support the argument, a chemistry inspired computation model, Chemistry for Context Awareness (C2A), is extended with Higher Order Chemical Language (HOCL) and High Level Petri-net Graph (HLPNG) formalisms. A scenario and simulation-based evaluation of the proposed model, focusing on two applications dynamic service composition and social communities identification, is also presented in this paper. The formal encoding of C2A validates its assumptions, enabling formal execution and analysis of context-based interactions that are derived using C2A principles