Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of [8] and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

Case studies for contract-based systems

Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting – based on explicit representation of different parties' responsibilities, and the agreement of all parties to them – has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.

Rawls and Health Care

John Rawls’s A Theory of Justice (1971), his first major work articulating his theory of justice as fairness, was immediately recognized as a fundamental contribution to political philosophy in the twentieth century. Working within the tradition established by previous philosophers such as Kant and Locke, Rawls employed the contract theory approach. Taking it to a higher order of abstraction, he sought to determine not what the structure of social organization would be, but what the principles which governed social institutions would be under a hypothetical contracting situation. Rawls uses this contract theory approach to construct a society in which the morally irrelevant contingencies of nature and social arrangements are mitigated by principles of justice which govern the basic institutions of society. A common observation has been that Rawls left out any discussion of health care and how it might fit into his conception of a just society. Several philosophers have articulated expansions of the theory to account for health care. In the chapters that follow I will continue this tradition and consider how justice as fairness might be expanded to account for just health care allocation. In doing so, I hope to answer a particularly strong critique of the theory brought up by Amartya Sen and Martha Nussbaum, and to argue for a broadened conception of health care which takes into account the complex causal relationship between society and human health.