A Framework for Prototyping and Reasoning about Distributed Systems

A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description.

Green Political Economy: beyond orthodox undifferentiated economic growth as a permanent feature of the economy

This chapter outlines the main features of green political economy and the principal ways in which it differs from dominant mainstream or orthodox neoclassical economics. Neoclassical economics is critiqued on the grounds of denying its normative and ideological commitments in its false presentation of itself as ‘objective’ and ‘value neutral’. It is also critiqued for its ecologically irrational commitment to the imperative of orthodox economic growth as a permanent feature of the economy, compromising its ability to offer realistic or normatively compelling guides to how we might make the transition to a sustainable economy. Green political economy is presented as an alternative or heterodox form of economic thinking but one which explicitly expresses its normative/ideological value bases (hence it represents a return to ‘political economy’, the origins of modern economics). Green political economy also challenges the commitment to undifferentiated economic growth as a permanent objective of the human economy. In its place, green political economy promotes ‘economic security’ as a better objective for a sustainable, post-growth economy. The latter includes the transition to a low-carbon energy economy, and is also one which maximises quality of life (as oppose to formal employment, income and wealth), and actively seeks to lower socio-economic inequality. Green political economy views orthodox economic growth as having passed the threshold in most ‘advanced’ capitalist societies beyond which it has undermined quality of life and at best manages rather than reduces socially and ecologically damaging inequalities.

On Cherry-Picking ... or Trying to Have One’s Cake and Eating It: past principles and practice in the pursuit of an alternative to [full] EU membership

With the United Kingdom’s continued membership of the EU being increasingly questioned and the Prime Minister, David Cameron, committed to 're-negotiate’ the terms of membership, consideration is being given to what forms alternatives to [full] membership may take. While much current discussion focuses on the advantages and disadvantages of particular existing arrangements (e.g. European Economic Area, Swiss bilateralism), this paper examines the broader principles and practices that have to date underpinned – and undermined – EU’s attempts to develop alternatives to [full] EU membership. Drawing on an analysis of the evolution of association as an alternative to membership, the paper assesses the principled, practical and political limitations the EU faces – and imposes on itself – in offering an acceptable balance of rights and obligations to states not wishing to assume the mantle of full membership. In its assessment the paper considers various proposed models of affiliate and associate membership. It also situates consideration of the UK case in the broader context of the EU’s relations with other European non-member states for which membership may not be achievable and for which alternatives to membership (e.g. a form of privileged partnership) have been proposed. In doing so, the paper reflects on the precedent-setting consequences of any arrangement that the EU might reach with any state re-negotiating membership or withdrawing.

Chloride induced corrosion of steel in alkali activated slag concretes

Alkali activated slag (AAS) is an alternative cementitious material. Sodium silicate solution is usually used to activate ground granulated blast furnace slag to produce AAS. As a consequence, the pore solution chemistry of AAS differs from that of Portland cement (PC). Although AAS offers many advantages over PC, such as higher strength, superior resistance to acid and sulphate environments and lower embodied carbon due to 100% PC replacement, there is a need to assess its performance against chloride induced corrosion duo to its different pore solution chemistry. For PC systems, resistivity measurement, as a type of nondestructive test, is usually used to evaluate its chloride diffusivity and the corrosion rate of the embedded steel. However, due to the different pore solution chemistry present in the different AAS systems, the application of this test in AAS concretes would be questionable as the resistivity of concrete is highly dependent on its conductivity of the pore solution. Therefore, a study was carried out using twelve AAS concretes mixes, the results of which are reported in this paper. The AAS mixes were designed with alkali concentration of 4%, 6% and 8% (Na₂O% of the mass of slag) and modulus (Ms) of sodium silicate solution of 0.75, 1.00, 1.50 and 2.00. A PC concrete with the same binder content as the AAS concretes was also studied as a reference. The chloride diffusion coefficient was determined using a non-steady state chloride diffusion test (NT BUILD 443). The resistivity of the concretes before the diffusion test was also measured. Macrocell corrosion current (corrosion rate) for steel rods embedded in the concretes was measured whilst subjecting the concretes to a cyclic chloride ponding regime (1 day ponded with salt solution and 6 days drying). The results showed that the AAS concretes had lower chloride diffusivity with associated higher resistivity than the PC concrete. The measured corrosion rate was also lower for the AAS concretes. However, unlike the PC, in which a higher resistivity yields a lower diffusivity and corrosion rate, there was no relationship apparent between the resistivity and either the diffusivity or the corrosion rate of steel for the AAS concretes. This is assigned to the variation of the pore solution composition of the AAS concretes. This also means that resistivity measurements cannot be depended on for assessing the chloride induced corrosion resistance of AAS concretes.