Cold War Legacies: Systems, Theory, Aesthetics

From futures research, pattern recognition algorithms, nuclear waste disposal and surveillance technologies, to smart weapons systems, contemporary fiction and art, this book shows that we are now living in a world imagined and engineered during the Cold War. Drawing on theorists such as Jean Baudrillard, Jacques Derrida, Michel Foucault, Luce Irigaray, Friedrich Kittler, Michel Serres, Peter Sloterdijk, Carl Schmitt, Bernard Stiegler and Paul Virilio this collection makes connections between Cold War material and conceptual technologies, as they relate to the arts, society, and culture.

Moment of stasis: the successful failure of a constitution for Europe

The 2005 French and Dutch negative votes on the Constitution open up a space of conceptualisation, not only of Europe's relation to its demos, but significantly to its failures. Through a critical analysis of mainly Niklas Luhmann's systems theory, the article proposes taking a distance from traditional constitutional dogmatics that are no longer capable of dealing with the paradox of contemporary society, and more specifically with the eventual resurgence of the European project as one of absence and stasis: the two terms are used to explain the need, on the one hand, to maintain the 'absent community' of Europe, and, on the other, to start realising that any conceptualisation of the European project will now have to take place in that space of instability and contingency revealed by the constitutional failure. The relation between law and politics, the location of a constitution, the distinction between social and normative legitimacy, the connection between European identity and demos, and the concept of continuity between constitutional text and context are revisited in an attempt to trace the constitutional failure as the constitutional moment par excellence.

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.