Modelling, validation and execution of norm setting processes

This projects builds a formal model of the application areas and of the institutional as well as the social infrastructure. These models ensure a consistent perspective across all individual projects. In addition, these models are employed to automatically check important conditions of the application areas and the infrastructure of Internet-mediated cooperative norm setting as well as to adapt and monitor the technical system.