Formal Specification and Verification for Organization-based systems : A Survey

Recently, developing organizational multi-agent systems (MAS) is very difficult due to their dynamism and complexity. Consequently, checking the correctness of these MAS is a complicated task. This paper proposes a survey of the relevant works dealing with formalizing organizational models in multi-agent systems. For this purpose, we analyse the essential studies in the domain. Then, we report an excellent discussion of these relevant approaches according to specific criteria. Lastly, we propose certain challenges to improve the formal specification process in organizational multi-agent systems.