Checking the norms for explanation

If the purpose of agent organizations is to create power relationships, not just constraining agents, but to enable them to face the dynamics of the environment, the effect of norms and their interplay is a significant practical aspect. To better understand how agents can face dynamism and improve the overall social gain, we present our current view on the model checking of properties for the behavior of a normative system. We consider goal oriented processes as a flexible description of the environment within which the normative organization has to perform as well as possible. To actively involve the users and domain experts in the modeling of processes, we show the verbalizing step that leads to controlled natural language.