A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP

In functional specification and multi-agents systems context, norms are essential to frame the behavior of agents in order to satisfy the objective of their organizations. These norms can be formulated with deontic logic. We opted for the MOISE+ normative organizational model for structural, functional and deontic modeling. We have shown that this model is not adequate for detecting normative conflicts and risks to be unable to detect them for complex multi-agent systems. In this context, we proposed a transformation towards the DisCSP (distributed constraints satisfaction problems) as an alternative to resolve normative conflicts. We have chosen the SDL normative language in order to express the norms in a formal way so that they will be exploited by the DisCSPs. These made it possible to check the consistency of normative multi-agents systems (NMAS) to satisfy the objectives of their organizations.