Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [30] we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. In this report we evaluate our proposed design criteria by utilizing within the context of novel research a formal reasoning system that is designed according to these criteria. In particular, we consider how the design and capabilities of the formal reasoning system that we employ influence, aid, or hinder our ability to accomplish a formal reasoning task – the assembly of a machine-verifiable proof pertaining to the NetSketch formalism. NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. It provides capabilities for compositional analysis based on a strongly-typed domain-specific language (DSL) for describing and reasoning about constrained-flow networks and invariants that need to be enforced thereupon. In a companion paper [13] we overview NetSketch, highlight its salient features, and illustrate how it could be used in actual applications. In this paper, we define using a machine-readable syntax major parts of the formal system underlying the operation of NetSketch, along with its semantics and a corresponding notion of validity. We then provide a proof of soundness for the formalism that can be partially verified using a lightweight formal reasoning system that simulates natural contexts. A traditional presentation of these definitions and arguments can be found in the full report on the NetSketch formalism [12].

The corporate social responsibility movement and law's empire: Is there a conflict?

At the heart of corporate governance and social responsibility discourse is recognition of the fact that the modern corporation is primarily governed by the profit maximisation imperative coupled with moral and ethical concerns that such a limited imperative drives the actions of large and wealthy corporations which have the ability to act in influential and significant ways, shaping how our social world is experienced. The actions of the corporation and its management will have a wide sphere of impact over all of its stakeholders whether these are employees, shareholders, consumers or the community in which the corporation is located. As globalisation has become central to the way we think it is also clear that ‘community’ has an ever expanding meaning which may include workers and communities living very far away from Corporate HQ. In recent years academic commentators have become increasingly concerned about the emphasis on what can be called short-term profit maximisation and the perception that this extremist interpretation of the profit imperative results in morally and ethically unacceptable outcomes.1 Hence demands for more corporate social responsibility. Following Cadbury’s2 classification of corporate social responsibility into three distinct areas, this paper will argue that once the legally regulated tier is left aside corporate responsibility can become so nebulous as to be relatively meaningless. The argument is not that corporations should not be required to act in socially responsible ways but that unless supported by regulation, which either demands high standards, or at the very least incentivises the attainment of such standards such initiatives are doomed to failure. The paper will illustrate by reference to various chosen cases that law’s discourse has already signposted ways to consider and resolve corporate governance problems in the broader social responsibility context.3 It will also illustrate how corporate responsibility can and must be supported by legal measures. Secondly, this paper will consider the potential conflict between an emphasis on corporate social responsibility and the regulatory approach.4 Finally, this paper will place the current interest in corporate social responsibility within the broader debate on the relationship between law and non-legally enforceable norms and will present some reflections on the norm debate arising from this consideration of the CSR movement.

Economic and Social Upgrading in Global Value Chains and Industrial Clusters: Why Governance Matters

© 2014, Springer Science+Business Media Dordrecht.The burgeoning literature on global value chains (GVCs) has recast our understanding of how industrial clusters are shaped by their ties to the international economy, but within this context, the role played by corporate social responsibility (CSR) continues to evolve. New research in the past decade allows us to better understand how CSR is linked to industrial clusters and GVCs. With geographic production and trade patterns in many industries becoming concentrated in the global South, lead firms in GVCs have been under growing pressure to link economic and social upgrading in more integrated forms of CSR. This is leading to a confluence of “private governance” (corporate codes of conduct and monitoring), “social governance” (civil society pressure on business from labor organizations and non-governmental organizations), and “public governance” (government policies to support gains by labor groups and environmental activists). This new form of “synergistic governance” is illustrated with evidence from recent studies of GVCs and industrial clusters, as well as advances in theorizing about new patterns of governance in GVCs and clusters.

Seasonal dynamics of the carbonate system in the Western English Channel

We present over 900 carbonate system observations collected over four years (2007–2010) in the Western English Channel (WEC). We determined CO2 partial pressure (pCO2), Total Alkalinity (TA) and Dissolved Inorganic Carbon (DIC) along a series of 40 km transects, including two oceanographic stations (L4 and E1) within a sustained coastal observatory. Our data follow a seasonal pattern of CO2 undersaturation from January to August, followed by supersaturation in September–October and a return to near-equilibrium thereafter. This pattern is explained by the interplay of thermal and biological sinks in winter and spring–summer, respectively, followed by the breakdown of stratification and mixing with deeper, high-CO2 water in autumn. The drawdown of DIC and inorganic N between March and June with a C:N ratio of 8.7–9.5 was consistent with carbon over-consumption during phytoplankton growth. Monthly mean surface pCO2 was strongly correlated with depth integrated chlorophyll a highlighting the importance of subsurface chlorophyll a maxima in controlling C-fluxes in shelf seas. Mixing of seawater with riverine freshwater in near-shore samples caused a reduction in TA and the saturation state of calcite minerals, particularly in winter. Our data show that the L4 and E1 oceanographic stations were small, net sinks for atmospheric CO2 over an annual cycle (−0.52±0.66 mol C m−2 y−1 and −0.62±0.49 mol C m−2 y−1, respectively).