2009/01/01 by Guido Governatori, Governatori, Guido, Antonino Rotolo +1
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Compliance #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #agents #norms #violations
paper · doi:10.4230/dagsemproc.09121.17
openalex publication_date 2009/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/31
The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' behaviour is compliant with the rules regulating them. The key point of our approach is that compliance is a relationship between two sets of specifications: the specifications for executing a process and the specifications regulating it. We propose a logic-based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.