Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

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.

Sustainable knowledge management systems: integration, personalisation and contextualisation

Many knowledge management (KM) systems have proven unsustainable to date, exhibiting low quantities and quality of knowledge, with systems falling into disuse. In this paper, we provide and explore a model for sustainable KM systems, focusing on the advantages to be gained from integrating knowledge work with everyday work practices, and enabling sensemaking through personalisation and contextualisation. We employ a discourse analysis of email as an exemplar of a sustainable KM system, thereby identifying a number of key characteristics for sustainable KM systems. Our model for sustainable KM systems adds to existing KM theory and, more immediately, assists companies by providing an understanding
of the kinds of characteristics likely to make KM systems more effective, and sustainable in the long term.

Knowledge based optimisation techniques for sheet metal forming die design

A knowledge based optimism technique has been developed to predict solutions for quality issues found in an initial draw die design. Post processing of the initial design yields all the features applying forces, and major quality issues. Using the geometric relationship between the two, a knowledge-base is interrogated to determine the possible corrective actions. These actions are then passed through a fast semi-analytical model to determine the level of change required. Results from a 2D forming are presented to highlight the advantage of the new algorithms over current optimisation techniques.

A platform for dynamic organization of agents in agent-based systems

In most agent-based systems, different middle agents are employed to increase their flexibility. However, there are still three issues remain unsolved. In centralized architecture with single middle agent, the middle agent itself is a bottleneck and suffers from single point failure; middle agents in distributed architecture lack capability of dynamic organization of agents; The reliability is not strong because of the single point failure and lack of effective architecture. We introduce a platform with ring architectural model to solve all above problems. In the platform, multiple middle agents are dynamically supported for solving the first problem. For solving the second problem, middle agents dynamically manage the registration and cancellation of service provider agents and application teams, each of which includes a set of closely interacting requester agents to complete an independent task. Redundancy middle agent technique is proposed for solving the third problem. All middle agents are of the feature of proliferation and self-cancellation according to the sensory inputs from their environment. For organizing the middle agents effectively, a ring architectural model is proposed. We demonstrate the applicability of the platform by its application and present experimental evidence that the platform is flexible and robust.

The mediatization of the knowledge based economy : an Australian field based account

This paper presents an empirical account of mediatization from a Bourdieuian perspective, based on the development of a number of new concepts, such as cross-field effects and the rescaling of such effects as linked to processes of globalization. Built on an Australian empirical case relating to educational policy and the knowledge based economy, this paper argues that mediatization can be understood in relation to the cross-field effects of different fields of journalism on subsequent fields, which have their genesis in forms of practice that cross different social fields. Specifically, the case analysis details interactions between the field of print journalism and the field of policy over the course of an Australian science capability review, chaired by the then chief scientist, Dr Robin Batterham, which led to Australia adopting a national version of the knowledge economy. The empirical case also leads us to consider the impact of both global and national fields of journalism on fields of educational policy in relation to mediatization.

Potential applications of discrete-event simulation and fuzzy rule-based systems to structural reliability and availability

This chapter discusses and illustrates some potential applications of discrete-event simulation (DES) techniques in structural reliability and availability analysis, emphasizing the convenience of using probabilistic approaches in modern building and civil engineering practices. After reviewing existing literature on the topic, some advantages of probabilistic techniques over analytical ones are highlighted. Then, we introduce a general framework for performing structural reliability and availability analysis through DES. Our methodology proposes the use of statistical distributions and techniques – such as survival analysis – to model component-level reliability. Then, using failure- and repair-time distributions and information about the structural logical topology (which allows determination of the structural state from their components’ state), structural reliability, and availability information can be inferred. Two numerical examples illustrate some potential applications of the proposed methodology to achieving more reliable and structural designs. Finally, an alternative approach to model uncertainty at component level is also introduced as ongoing work. This new approach is based on the use of fuzzy rule-based systems and it allows the introduction of experts’ opinions and evaluations in our methodology.