- Full text PDF available (178)
- This year (5)
- Last 5 years (33)
- Last 10 years (90)
Journals and Conferences
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.
This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks… (More)
Agents need to be able to adapt to changes in their environment. One way to achieve this, is to service agents when needed. A separate servicing facility, an agent factory, is capable of automatically modifying agents. This paper discusses the feasibility of automated servicing.
The AgentScape middleware is designed to support deployment of agent-based applications on Internet-scale distributed systems. With the design of AgentScape, three dimensions of scalability are considered: size of distributed system, geographical distance between resources, and number of administrative domains. This paper reports on the AgentScape design… (More)
Compositional multi-agent system design is a methodological perspective on multiagent system design based on the software engineering principles process and knowledge abstraction, compositionality, reuse, specification and verification. This paper addresses these principles from a generic perspective in the context of the compositional development method… (More)
A Service Level Agreement (SLA) represents an agreement between a service user and a provider in the context of a particular service provision. SLAs contain Quality of Service properties that must be maintained by a provider. These are generally defined as a set of Service Level Objectives (SLOs). These properties need to be measurable and must be monitored… (More)
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper an approach is presented with which heterogeneity is possible: agents can migrate between non-identical platforms, and need not be written in the same language. Instead of migrating… (More)
An elevator configuration task, the VT task, is modelled within DESIRE as a design task. DESIRE is a framework within which complex reasoning tasks are modelled as compositional architectures. Compositional architectures are based on a task decomposition, acquired during task analysis. An earlier developed generic task model of design, based on a logical… (More)
In open dynami multi-agent environments the number of agents an vary signi antly within very short periods of time. Very few (if any) urrent multi-agent systems have, however, been designed to ope with large-s ale distributed appli ations. S alability requires in reasing numbers of new agents and resour es to have no noti eable e e t on performan e nor to… (More)
The Web Services Agreement specification defines a normative language to formulate Service Level Agreements and a basic protocol to expose service-level descriptions, validate service-level requests, and come to an agreement. This protocol, often called “take-it-or-leave-it”, allows a service provider and a service consumer to decide whether… (More)