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.

Comparing freight transport strategies and measures in London and Paris

The paper compares the approach being taken to freight transport strategy and the specific policy measures being implemented in London and Paris. It highlights the serious consideration that has been given to freight transport by the Mayors of London and Paris in the last five years. These freight policy considerations are taking place against a background of growing levels of road freight activity, energy use and pollutant emissions in both cities. The key freight transport objectives being followed in London and Paris are similar and focus on improving the efficiency and reliability of freight transport while reducing the negative environmental impacts that it causes. The specific freight transport policy measures being followed show some differences in each city. However, attempts to address problems related to loading and unloading are taking place in both, albeit through different specific initiatives. These policy initiatives have important implications for companies concerned with urban logistics operations.

Logistics and the waste sector: a London case study

London has traditionally exported most of its waste to former mineral workings in surrounding counties for landfill. Many of these sites are being filled and opportunities for new sites are limited. Virtually all waste reprocessing and recycling facilities, with the exception of textile sorting and some facilities for glass and organic waste composting, are outside London. The Mayor of London's Vision for Waste in London is that by 2020, municipal waste should not compromise London’s future as a sustainable city. This will involve managing waste better, so that its impact on the local and global environment and on London communities, economy and health is minimised. The majority of waste and recyclable materials in London are currently collected and transported for recovery, disposal or reprocessing by road in large vehicles. Environmental costs include, adding to congestion, noise, energy usage, air pollution, and accidents. The Mayor is keen to increase recycling and reuse of waste materials in London, and to ensure that as more of London's waste is diverted away from landfill sites to recycling facilities. Several projects and initiatives have been established and these are reviewed in the paper.

London freight data report

Report produced for the Transport for London Freight Unit as part of the London Freight Data Centre. Contains data and information about a wide range of freight transport issues in London.