112,796 research outputs found

    Securing open multi-agent systems governed by electronic institutions

    Get PDF
    One way to build large-scale autonomous systems is to develop an open multi-agent system using peer-to-peer architectures in which agents are not pre-engineered to work together and in which agents themselves determine the social norms that govern collective behaviour. The social norms and the agent interaction models can be described by Electronic Institutions such as those expressed in the Lightweight Coordination Calculus (LCC), a compact executable specification language based on logic programming and pi-calculus. Open multi-agent systems have experienced growing popularity in the multi-agent community and are expected to have many applications in the near future as large scale distributed systems become more widespread, e.g. in emergency response, electronic commerce and cloud computing. A major practical limitation to such systems is security, because the very openness of such systems opens the doors to adversaries for exploit existing vulnerabilities. This thesis addresses the security of open multi-agent systems governed by electronic institutions. First, the main forms of attack on open multi-agent systems are introduced and classified in the proposed attack taxonomy. Then, various security techniques from the literature are surveyed and analysed. These techniques are categorised as either prevention or detection approaches. Appropriate countermeasures to each class of attack are also suggested. A fundamental limitation of conventional security mechanisms (e.g. access control and encryption) is the inability to prevent information from being propagated. Focusing on information leakage in choreography systems using LCC, we then suggest two frameworks to detect insecure information flows: conceptual modeling of interaction models and language-based information flow analysis. A novel security-typed LCC language is proposed to address the latter approach. Both static (design-time) and dynamic (run-time) security type checking are employed to guarantee no information leakage can occur in annotated LCC interaction models. The proposed security type system is then formally evaluated by proving its properties. A limitation of both conceptual modeling and language-based frameworks is difficulty of formalising realistic policies using annotations. Finally, the proposed security-typed LCC is applied to a cloud computing configuration case study, in which virtual machine migration is managed. The secrecy of LCC interaction models for virtual machine management is analysed and information leaks are discussed

    Coordination approaches and systems - part I : a strategic perspective

    Get PDF
    This is the first part of a two-part paper presenting a fundamental review and summary of research of design coordination and cooperation technologies. The theme of this review is aimed at the research conducted within the decision management aspect of design coordination. The focus is therefore on the strategies involved in making decisions and how these strategies are used to satisfy design requirements. The paper reviews research within collaborative and coordinated design, project and workflow management, and, task and organization models. The research reviewed has attempted to identify fundamental coordination mechanisms from different domains, however it is concluded that domain independent mechanisms need to be augmented with domain specific mechanisms to facilitate coordination. Part II is a review of design coordination from an operational perspective

    Analysis and design of multiagent systems using MAS-CommonKADS

    Get PDF
    This article proposes an agent-oriented methodology called MAS-CommonKADS and develops a case study. This methodology extends the knowledge engineering methodology CommonKADSwith techniquesfrom objectoriented and protocol engineering methodologies. The methodology consists of the development of seven models: Agent Model, that describes the characteristics of each agent; Task Model, that describes the tasks that the agents carry out; Expertise Model, that describes the knowledge needed by the agents to achieve their goals; Organisation Model, that describes the structural relationships between agents (software agents and/or human agents); Coordination Model, that describes the dynamic relationships between software agents; Communication Model, that describes the dynamic relationships between human agents and their respective personal assistant software agents; and Design Model, that refines the previous models and determines the most suitable agent architecture for each agent, and the requirements of the agent network

    A survey of agent-oriented methodologies

    Get PDF
    This article introduces the current agent-oriented methodologies. It discusses what approaches have been followed (mainly extending existing object oriented and knowledge engineering methodologies), the suitability of these approaches for agent modelling, and some conclusions drawn from the survey

    Separating Agent-Functioning and Inter-Agent Coordination by Activated Modules: The DECOMAS Architecture

    Full text link
    The embedding of self-organizing inter-agent processes in distributed software applications enables the decentralized coordination system elements, solely based on concerted, localized interactions. The separation and encapsulation of the activities that are conceptually related to the coordination, is a crucial concern for systematic development practices in order to prepare the reuse and systematic integration of coordination processes in software systems. Here, we discuss a programming model that is based on the externalization of processes prescriptions and their embedding in Multi-Agent Systems (MAS). One fundamental design concern for a corresponding execution middleware is the minimal-invasive augmentation of the activities that affect coordination. This design challenge is approached by the activation of agent modules. Modules are converted to software elements that reason about and modify their host agent. We discuss and formalize this extension within the context of a generic coordination architecture and exemplify the proposed programming model with the decentralized management of (web) service infrastructures

    Agent Bodies: An Interface Between Agent and Environment

    Full text link
    The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23850-0_2Interfacing the agents with their environment is a classical problem when designing multiagent systems. However, the models pertaining to this interface generally choose to either embed it in the agents, or in the environment. In this position paper, we propose to highlight the role of agent bodies as primary components of the multiagent system design. We propose a tentative definition of an agent body, and discuss its responsibilities in terms of MAS components. The agent body takes from both agent and environment: low-level agent mechanisms such as perception and influences are treated locally in the agent bodies. These mechanism participate in the cognitive process, but are not driven by symbol manipulation. Furthermore, it allows to define several bodies for one mind, either to simulate different capabilities, or to interact in the different environments - physical, social- the agent is immersed in. We also draw the main challenges to apply this concept effectively.Saunier, J.; Carrascosa Casamayor, C.; Galland, S.; Kanmeugne, PS. (2015). Agent Bodies: An Interface Between Agent and Environment. En Agent Environments for Multi-Agent Systems IV. 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014. 25-40. doi:10.1007/978-3-319-23850-0_2S2540Barella, A., Ricci, A., Boissier, O., Carrascosa, C.: MAM5: Multi-agent model for intelligent virtual environments. In: 10th European Workshop on Multi-Agent Systems (EUMAS 2012), pp. 16–30 (2012)Behe, F., Galland, S., Gaud, N., Nicolle, C., Koukam, A.: An ontology-based metamodel for multiagent-based simulations. Int. J. Simul. Model. Pract. Theor. 40, 64–85 (2014). http://authors.elsevier.com/sd/article/S1569190X13001342Brooks, R.A.: Intelligence without representation. Artif. Intell. 47(1), 139–159 (1991)Campos, J., López-Sánchez, M., Rodríguez-Aguilar, J.A., Esteva, M.: Formalising situatedness and adaptation in electronic institutions. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS, vol. 5428, pp. 126–139. Springer, Heidelberg (2009)Galland, S., Balbo, F., Gaud, N., Rodriguez, S., Picard, G., Boissier, O.: Contextualize agent interactions by combining social and physical dimensions in the environment. In: Demazeau, Y., Decker, K. (eds.) 13th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), June 2015Galland, S., Balbo, F., Gaud, N., Rodriguez, S., Picard, G., Boissier, O.: A multidimensional environment implementation for enhancing agent interaction. In: Bordini, R., Elkind, E. (eds.) Autonomous Agents and Multiagent Systems (AAMAS 2015), Istanbul, Turkey, May 2015Galland, S., Gaud, N., Demange, J., Koukam, A.: Environment model for multiagent-based simulation of 3D urban systems. In: the 7th European Workshop on Multiagent Systems (EUMAS 2009), Ayia Napa, Cyprus, December 2009 (paper 36)Gechter, F., Contet, J.M., Lamotte, O., Galland, S., Koukam, A.: Virtual intelligent vehicle urban simulator: application to vehicle platoon evaluation. Simul. Model. Practice Theor. (SIMPAT) 24, 103–114 (2012)Gibson, J.J.: The Theory of Affordances. Hilldale, USA (1977)Gouaïch, A., Michel, F., Guiraud, Y.: MIC ^{*} : a deployment environment for autonomous agents. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 109–126. Springer, Heidelberg (2005)Gouaïch, A., Michel, F.: Towards a unified view of the environment (s) within multi-agent systems. Informatica (Slovenia) 29(4), 423–432 (2005)Helleboogh, A., Vizzari, G., Uhrmacher, A., Michel, F.: Modeling dynamic environments in multiagent simulation. Int. J. Auton. Agents Multiagent Syst. 14(1), 87–116 (2007)Ketenci, U.G., Bremond, R., Auberlet, J.M., Grislin, E.: Drivers with limited perception: models and applications to traffic simulation. Recherche transports sécurité, RTS (2013)Michel, F.: The IRM4S model: the influence/reaction principle for multiagent based simulation. ACM, May 2007Okuyama, F.Y., Bordini, R.H., da Rocha Costa, A.C.: ELMS: an environment description language for multi-agent simulation. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 67–83. Springer, Heidelberg (2005)Platon, E., Sabouret, N., Honiden, S.: Environmental support for tag interactions. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 106–123. Springer, Heidelberg (2007)Ribeiro, T., Vala, M., Paiva, A.: Censys: a model for distributed embodied cognition. In: Aylett, R., Krenn, B., Pelachaud, C., Shimodaira, H. (eds.) IVA 2013. LNCS, vol. 8108, pp. 58–67. Springer, Heidelberg (2013)Ricci, A., Viroli, M., Omicini, A.: Programming MAS with artifacts. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 206–221. Springer, Heidelberg (2006)Ricci, A., Omicini, A., Viroli, M., Gardelli, L., Oliva, E.: Cognitive stigmergy: towards a framework based on agents and artifacts. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 124–140. Springer, Heidelberg (2007)Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agent. Multi-Agent Syst. 23(2), 158–192 (2011)Ricci, A., Viroli, M., Omicini, A.: Environment-based coordination through coordination artifacts. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 190–214. Springer, Heidelberg (2005)Ricci, A., Viroli, M., Omicini, A.: CArtAgO{\sf CArtA gO} : a framework for prototyping artifact-based environments in MAS. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 67–86. Springer, Heidelberg (2007)Rincon, J.A., Garcia, E., Julian, V., Carrascosa, C.: Developing adaptive agents situated in intelligent virtual environments. In: Polycarpou, M., de Carvalho, A.C.P.L.F., Pan, J.-S., Woźniak, M., Quintian, H., Corchado, E. (eds.) HAIS 2014. LNCS, vol. 8480, pp. 98–109. Springer, Heidelberg (2014)Saunier, J., Balbo, F., Pinson, S.: A formal model of communication and context awareness in multiagent systems. J. Logic Lang. Inform. 23(2), 219–247 (2014). http://dx.doi.org/10.1007/s10849-014-9198-8Saunier, J., Jones, H.: Mixed agent/social dynamics for emotion computation. In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, pp. 645–652. International Foundation for Autonomous Agents and Multiagent Systems (2014)Simonin, O., Ferber, J.: Modeling self satisfaction and altruism to handle action selection and reactive cooperation. In: 6th International Conference on the Simulation of Adaptive Behavior (SAB 2000 volume 2), pp. 314–323 (2000)Thalmann, D., Musse, S.R.: Crowd Simulation. Springer, London (2007)Thiebaux, M., Marsella, S., Marshall, A., Kallmann, M.: Smartbody: Behavior realization for embodied conversational agents. In: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, vol. 1, pp. 151–158 (2008)Viroli, M., Holvoet, T., Ricci, A., Schelfthout, K., Zambonelli, F.: Infrastructures for the environment of multiagent system. Int. J. Auton. Agent. Multi-Agent Syst. 14(1), 49–60 (2007)Weyns, D., Boucké, N., Holvoet, T.: Gradient field-based task assignment in an agv transportation system. In: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 842–849. ACM (2006)Weyns, D., Omicini, A., Odell, J.: Environment as a first-class abstraction in multi-agent systems. Auton. Agent. Multi-Agent Syst 14(1), 5–30 (2007). special Issue on Environments for Multi-agent SystemsWeyns, D., Van Dyke Parunak, H., Michel, F., Holvoet, T., Ferber, J.: Environments for multiagent systems state-of-the-art and research challenges. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 1–47. Springer, Heidelberg (2005)Weyns, D., Steegmans, E., Holvoet, T.: Towards active perception in situated multi-agent systems. Special Issue J. Appl. Artif. Intell. 18(9–10), 867–883 (2004)Yim, M., Shen, W.M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.S.: Modular self-reconfigurable robot systems [grand challenges of robotics]. IEEE Robot. Autom. Mag. 14(1), 43–52 (2007
    corecore