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

Digital Preservation Services : State of the Art Analysis

Research report funded by the DC-NET project.An overview of the state of the art in service provision for digital preservation and curation. Its focus is on the areas where bridging the gaps is needed between e-Infrastructures and efficient and forward-looking digital preservation services. Based on a desktop study and a rapid analysis of some 190 currently available tools and services for digital preservation, the deliverable provides a high-level view on the range of instruments currently on offer to support various functions within a preservation system.European Commission, FP7peer-reviewe

Market fields structure & dynamics in industrial automation

There is a research tradition in the economics of standards which addresses standards wars, antitrust concerns or positive externalities from standards. Recent research has also dealt with the process characteristics of standardisation, de facto standard-setting consortia and intellectual property concerns in the technology specification or implementation phase. Nonetheless, there are no studies which analyse capabilities, comparative industry dynamics or incentive structures sufficiently in the context of standard-setting. In my study, I address the characteristics of collaborative research and standard-setting as a new mode of deploying assets beyond motivations well-known from R&D consortia or market alliances. On the basis of a case study of a leading user organisation in the market for industrial automation technology, but also a descriptive network analysis of cross-community affiliations, I demonstrate that there must be a paradoxical relationship between cooperation and competition. More precisely, I explain how there can be a dual relationship between value creation and value capture respecting exploration and exploitation. My case study emphasises the dynamics between knowledge stocks (knowledge alignment, narrowing and deepening) produced by collaborative standard setting and innovation; it also sheds light on an evolutional relationship between the exploration of assets and use cases and each firm's exploitation activities in the market. I derive standard-setting capabilities from an empirical analysis of membership structures, policies and incumbent firm characteristics in selected, but leading, user organisations. The results are as follows: the market for industrial automation technology is characterised by collaboration on standards, high technology influences of other industries and network effects on standards. Further, system integrators play a decisive role in value creation in the customer-specific business case. Standard-setting activities appear to be loosely coupled to the products offered on the market. Core leaders in world standards in industrial automation own a variety of assets and they are affiliated to many standard-setting communities rather than exclusively committed to a few standards. Furthermore, their R&D ratios outperform those of peripheral members and experience in standard-setting processes can be assumed. Standard-setting communities specify common core concepts as the basis for the development of each member's proprietary products, complementary technologies and industrial services. From a knowledge-based perspective, the targeted disclosure of certain knowledge can be used to achieve high innovation returns through systemic products which add proprietary features to open standards. Finally, the interplay between exploitation and exploration respecting the deployment of standard-setting capabilities linked to cooperative, pre-competitive processes leads to an evolution in common technology owned and exploited by the standard-setting community as a particular kind of innovation ecosystem. --standard-setting,innovation,industry dynamics and context,industrial automation