Our goal in this paper is to introduce and motivate a methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams.

A preliminary unedited version of this paper was incorrectly published as part of Volume

gzipped PostScript format via anonymous FTP from the areaftp.cs.unibo.it:/pub/TR/UBLCS or via WWW at

Abstract. Distributed problem solving involves the collective effort of multiple problems solvers to combine their knowledge, information, and capabilities so as to develop solutions to problems that each could not have solved as well (if at all) alone. The challenge in distributed problem solving is thus in marshalling the distributed capabilities in the right ways so that the problem solving activities of each agent complement the activities of the others, so as to lead efficiently to effective solutions. Thus, while working together leads to distributed problem solving, there is also the distributed problem of how to work together that must be solved. We consider that problem to be a distributed planning problem, where each agent must formulate plans for what it will do that take into account (sufficiently well) the plans of other agents. In this paper, we characterize the variations of distributed problem solving and distributed planning, and summarize some of the basic techniques that have been developed to date. 1

Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, current techniques fail to address the critical problem of selecting the right service instances. Service selection should be determined based on user preferences and business policies, and consider the trustworthiness of service instances. We propose a multiagent approach that naturally provides a solution to the selection problem. This approach is based on an architecture and programming model in which agents represent applications and services. The agents support considerations of semantics and quality of service (QoS). They interact and share information, in essence creating an ecosystem of collaborative service providers and consumers. Consequently, our approach enables applications to be dynamically configured at runtime in a manner that continually adapts to the preferences of the participants. Our agents are designed using decision theory and use ontologies. We evaluate our approach through simulation experiments.

Sensor networks are gaining a central role in the research community. This paper addresses some of the issues arising from the use of sensor networks in control applications. Classical control theory proves to be insufficient in modeling distributed control problems where issues of communication delay, jitter, and time synchronization between components are not negligible. After discussing our hardware and software platform and our target application, we review useful models of computation and then suggest a mixed model for design, analysis, and synthesis of control algorithms within sensor networks. We present a hierarchical model composed of continuous time-trigger components at the low level and discrete event-triggered components at the high level. Keywords—Distributed control, distributed pursuit–evasion game (DPEG), embedded, Mica, mote, NesC, pursuit–evasion game (PEG), sensor network, TinyOS. I.

gzipped PostScript format via anonymous FTP from the areaftp.cs.unibo.it:/pub/TR/UBLCS or via WWW at

This paper presents an overview of multi-agent system models of land-use/cover change (MAS/LUCC models). This special class of LUCC models combines a cellular landscape model with agent-based representations of decisionmaking, integrating the two components through specification of interdependencies and feedbacks between agents and their environment. The authors review alternative LUCC modeling techniques and discuss the ways in which MAS/LUCC models may overcome some important limitations of existing techniques. We briefly review ongoing MAS/LUCC modeling efforts in four research areas. We discuss the potential strengths of MAS/LUCC models and suggest that these strengths guide researchers in assessing the appropriate choice of model for their particular research question. We find that MAS/LUCC models are particularly well suited for representing complex spatial interactions under heterogeneous conditions and for modeling decentralized, autonomous decision making. We discuss a range of possible roles for MAS/LUCC models, from abstract models designed to derive stylized hypotheses to empirically detailed simulation models appropriate for scenario and policy analysis. We also discuss the challenge of validation and verification for MAS/LUCC models. Finally, we outline important challenges and open research questions in this new field. We conclude that, while significant challenges exist, these models offer a promising new tool for researchers whose goal is to create fine-scale models of LUCC phenomena that focus on human-environment interactions.

Agent-Oriented Software Engineering (AOSE) is an emerging paradigm within industry that offers much potential of the management of the increasing levels of complexity inherent within modern software systems. For this paradigm to gain widespread acceptance, it is vital that we develop comprehensive frameworks that support the development and deployment of agent-oriented applications. This thesis contributes to this through the development of a four-tier development framework entitled the Agent Factory System. This framework combines an agent programming language that is founded upon a formal agent theory of commitment; a run-time environment that delivers a set of services that support the deployment of agent-oriented applications written in this programming language; an integrated development environment that delivers a toolkit that supports the development of these applications; and a development methodology that promotes a structure approach to the use of this toolkit. Finally, we evaluate the Agent Factory System from the context of various real-world

Consider sending a team of robots to carry out reconnaissance of an indoor environment to check for intruders.