On the 'inherent' character of the right of states to self-defence

While there is no lack of studies on the use of armed force by states in self-defence, its qualification as an ‘inherent right’ in article 51 of the Charter of the United Nations has received little scholarly attention and has been too quickly dismissed as having no significance. The present article fills this gap in the literature. Its purpose is not to discuss the limits to which article 51 or customary international law submit the exercise of the right of self-defence by states, but to examine what its 'inherent’ character means and what legal consequences it entails. The article advances two main arguments. The first is that self-defence is a corollary of statehood as presently understood because it is essential to preserving its constitutive elements. The second argument is that the exercise of the right of self-defence must be distinguished from the right itself: it is only the former that may be delegated to other states or submitted to limitations under customary international law and treaty law. The right of self-defence, however, cannot be alienated and it takes precedence over other international obligations, although not over those specifically intended to limit the conduct of states in armed conflict or over non-derogable human rights provisions.

Can the European Union build a bridge over troubled waters? An analysis of the politicised and depoliticised legal approach between the European Union and Cyprus

The Cyprus dispute accurately portrays the evolution of the conflict from ‘warfare to lawfare’ enriched in politics; this research has proven that the Cyprus problem has been and will continue to be one of the most judicialised disputes across the globe. Notwithstanding the ‘normalisation’ of affairs between the two ethno-religious groups on the island since the division in 1974, the Republic of Cyprus’ (RoC) European Union (EU) membership in 2004 failed to catalyse reunification and terminate the legal, political and economic isolation of the Turkish Cypriot community. So the question is; why is it that the powerful legal order of the EU continuously fails to tame the tiny troublesome island of Cyprus? This is a thesis on the interrelationship of the EU legal order and the Cyprus problem. A literal and depoliticised interpretation of EU law has been maintained throughout the EU’s dealings with Cyprus, hence, pre-accession and post-accession. The research has brought to light that this literal interpretation of EU law vis-à-vis Cyprus has in actual fact deepened the division on the island. Pessimists outnumber optimists so far as resolving this problem is concerned, and rightly so if you look back over the last forty years of failed attempts to do just that, a diplomatic combat zone scattered with the bones of numerous mediators. This thesis will discuss how the decisions of the EU institutions, its Member States and specifically of the European Court of Justice, despite conforming to the EU legal order, have managed to disregard the principle of equality on the divided island and thus prevent the promised upgrade of the status of the Turkish Cypriot community since 2004. Indeed, whether a positive or negative reading of the Union’s position towards the Cyprus problem is adopted, the case remains valid for an organisation based on the rule of law to maintain legitimacy, democracy, clarity and equality to the decisions of its institutions. Overall, the aim of this research is to establish a link between the lack of success of the Union to build a bridge over troubled waters and the right of self-determination of the Turkish Cypriot community. The only way left for the EU to help resolve the Cyprus problem is to aim to broker a deal between the two Cypriot communities which will permit the recognition of the Turkish Republic of Northern Cyprus (TRNC) or at least the ‘Taiwanisation’ of Northern Cyprus. Albeit, there are many studies that address the impact of the EU on the conflict or the RoC, which represents the government that has monopolised EU accession, the argument advanced in this thesis is that despite the alleged Europeanisation of the Turkish Cypriot community, they are habitually disregarded because of the EU’s current legal framework and the Union’s lack of conflict transformation strategy vis-à-vis the island. Since the self-declared TRNC is not recognised and EU law is suspended in northern Cyprus in accordance with Protocol No 10 on Cyprus of the Act of Accession 2003, the Turkish-Cypriots represent an idiomatic partner of Brussels but the relations between the two resemble the experience of EU enlargement: the EU’s relevance to the community has been based on the prospects for EU accession (via reunification) and assistance towards preparation for potential EU integration through financial and technical aid. Undeniably, the pre-accession and postaccession strategy of Brussels in Cyprus has worsened the Cyprus problem and hindered the peace process. The time has come for the international community to formally acknowledge the existence of the TRNC.

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.