Communication Models -- Programming Multiagent Systems without Programming Agents -- Elements of a Business-Level Architecture for Multiagent Systems -- A Computational Semantics for Communicating Rational Agents Based on Mental Models -- Formal Models -- Multi-Agent Systems: Modeling and Verification Using Hybrid Automata -- Probabilistic Behavioural State Machines -- Golog Speaks the BDI Language -- Organizations and Environments -- A Middleware for Modeling Organizations and Roles in Jade -- An Open Architecture for Service-Oriented Virtual Organizations -- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments -- Analysis and Debugging -- Debugging BDI-Based Multi-Agent Programs -- Space-Time Diagram Generation for Profiling Multi Agent Systems -- Infrastructure for Forensic Analysis of Multi-Agent Based Simulations -- Agent Architectures -- Representing Long-Term and Interest BDI Goals -- Introducing Relevance Awareness in BDI Agents -- Modularity and Compositionality in Jason -- Applications -- A MultiAgent System for Monitoring Boats in Marine Reserves -- Agent-Oriented Control in Real-Time Computer Games.

This book constitutes the proceedings of the 7th International Workshop on Programming Multi-Agent Systems held in Budapest, Hungary, in May 2009.