This paper considers the use of transaction processing systems in manufacturing applications. It is part of the ConTract project at Stuttgart University, which explores techniques to extend transaction technology into areas of long-lived, interacting applications. We will focus on two aspects: First, we will describe a transaction-oriented invocation protocol between a control computer and a ph...

This chapter describes the application of contract-based design in Simulink to the development of a digital hydraulic controller. A semi-formal approach to the development is used, where contracts are used to aid the structuring of the system and for creating interface specifications for components that can later be used for testing. An analysis of the influence of the contracts on the developm...

The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion...

Global pressure to increase Australia’s market competitiveness has prompted the government to allow employers more control over the determination of wages and conditions. This change has resulted in concern over increased exploitation of vulnerable cohorts of the labour force, particularly young workers. The circumstances which lead to the breakdown of the employment relationship in young emplo...

This paper is motivated by the hypothesis that the nature of the tenurial contract is sensitive to the tenant’s privately known level of farming skill. In particular, tenants with ‘low’ skill levels work for wage contracts, those with ‘high’ skill levels work for rent contracts, and tenants whose skill levels lie in between these extremes work for share contracts. We study a principal-agent typ...

Design by Contract is commonly cited as an example of the “crosscutting” concerns that aspect-oriented programming can address. We test this conjecture by attempting to implement contracts through aspects and assessing the outcome. The results of this experiment cast doubt on the validity of the conjecture, showing that aspects appear unable to capture contracts in a way that retains the benefi...

Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Implementierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by...

In this paper, the theory of resource conservation is introduced to explore the influence of psychological contract on turnover intention of employees, and the mediating mechanism of organizational commitment is tested. Through the questionnaire survey of employees in high-tech enterprises in Xi’an City, we use the structural equation model for empirical research; the results shows that: 1) the...

Whereas the oldest negotiation framework in distributed artiicial intelligence, the Contract Net metaphor, embodies a truly distributed negotiation procedure, some of the younger approaches to negotiation are distributed to a lesser degree, relying on a mediator to resolve connicts between agents. In this paper, we present delegated negotiation as a more distributed alternative for mediated neg...

Submit Manuscript | http://medcraveonline.com functioning of the thyroid gland, whose hormones are necessary for the formation of the middle and internal structures of the [3], and of the central pathways of the auditory system [4]. Therefore, in situations of hypothyroidism, especially the congenital form of the disease, it is possible for auditory damage of endocochlear, retrocochlear origin,...