Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems.
Ezzine MissaouiBelhassen MazighVincent HilaireSami BhiriPublished in: KES (2019)
Keyphrases
- multi agents systems
- multi agent systems
- normative systems
- formal verification
- functional verification
- asynchronous circuits
- electronic institutions
- protocol specification
- model checking
- formal methods
- multi agent
- formal specification
- autonomous agents
- real time
- cooperative
- software agents
- database
- colored petri nets
- programming language
- formal analysis
- specification language
- multiagent systems
- communication protocols
- high level
- verification method
- temporal logic
- information systems
- learning algorithm
- data mining
- data sets
- user defined