Aigaion: IIDS publication database

Mobach, D. G. A., Overeinder, B. J. and Brazier, F. M. T., A WS -Agreement Based Resource Negotiation Framework for Mobile Agents, in: Scalable Computing: Practice and Experience, volume 7, number 1, pages 23-36, 2006.
Abstract: Mobile agents require access to computing resources on heterogeneous systems across the Internet. They need to be able to negotiate their requirements with the systems on which they wish to be hosted. This paper presents a negotiation infrastructure with which agents acquire time- limited resource contracts through negotiation with one or more mediators instead of individual hosting systems. Mediators represent groups of autonomous hosts. The negotiation protocol and language are based on the WS-Agreement Specification, and have been implemented and tested within the AgentScape framework.
Brazier, F. M. T., Oskamp, A., Schellekens, M. H. M. and Wijngaards, N. J. E., Can agents close contracts?, in: Proceedings of LEA 2003: The Law and Electronic Agents, pages 9-20, 2003.
Abstract: One of the tasks of software agents on the Internet will be to close contracts on behalf of their owner. The closing of a contract is subject to liabilities. In this, there is no distinction between the real world and the virtual world. Like in the real world, within the virtual world a distinction has to be made between the precontractual phase and the contractual phase. The liabilities in these phases are different. Therefore negotiation protocols for agents need to distinguish between these phases and different responsibilities may exist in the different phases. This paper presents some of the issues involved, viewed from a technical and legal perspective.
Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation, in: Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98, pages 49-56, IEEE Computer Society Press, 1998.
Abstract: A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components.
Brazier, F. M. T., Treur, J. and Wijngaards, N. J. E., Modelling interaction with experts: the role of a shared task model, in: Proc. of the 12th European Conference on AI, ECAI'96,, pages 241-245, Wiley and Sons, Chichester, 1996.
Abstract: The role of an agreed, shared task model as an intermediate representation of a design/decision task upon which (1) negotiation between an expert user and a knowledge engineer, and (2) interaction between an expert user and an intelligent design/decision support system are based, is the focus of the research presented. A declarative compositional approach to user-centered system design (within the DESIRE framework) is presented and illustrated on the basis of a shared task model for the design of environmental policy.
van het Schip, R.C., van Splunter, S. and Brazier, F. M. T., Template evaluation and selection for WS-Agreement, in: Service Level Agreements in Grids Workshop proceedings, 2009.
Abstract: Large-scale use of Grids and service-oriented architectures requires agreement of providers and consumers on the terms of use of services, modelled as Service Level Agreements. WS-Agreement is an evolving standard, using advertisements to describe available services and negotiation constraints on the terms of use for a service. This allows for more efficient service discovery and negotiation. If multiple advertisements are available at the start of a negotiation, a starting advertisement needs to be selected. This, however, has great impact on the possible outcome of the negotiation process. This paper identifies relevant functions for advertisement selection and characterises their resulting behaviour.