Nowadays agent-oriented software engineering methodologies emphasize the importance of the environment in which a multi-agent system (MAS) operate. Meanwhile, they do not propose any diagram to represent the environment and its effects on the MAS. So, we propose two diagrams that can be introduced in agent-oriented methodologies: an environment diagram representing environment evolution over time, and an agent diagram showing the MAS organization according to the agents' roles and their relationships. Furthermore, many model checking techniques were defined to validate whether a MAS will solve the problem for which it is designed. However, these techniques do not consider the environment in their checking procedure. We propose a Situation Event Logic, an extension of modal logic, in which modal operators have a well defined scope over a set of situations. This logic is used to represent and infer knowledge from the environment and agent diagrams.
展开▼