Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
SODA: societies and infrastructures in the analysis and design of agent-based systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
ROADMAP: extending the gaia methodology for complex open systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Agent Oriented Analysis Using Message/UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing Intelligent Agent Systems: A Practical Guide
Developing Intelligent Agent Systems: A Practical Guide
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Model driven security: From UML models to access control infrastructures
ACM Transactions on Software Engineering and Methodology (TOSEM)
Operationalisation of norms for usage in electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Role-Based Access Control, Second Edition
Role-Based Access Control, Second Edition
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
MAS-ML: a multiagent system modelling language
International Journal of Agent-Oriented Software Engineering
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Model-Driven Security in Practice: An Industrial Experience
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Automated analysis of security-design models
Information and Software Technology
RBAC-MAS and SODA: Experimenting RBAC in AOSE
Engineering Societies in the Agents World IX
An algorithm for conflict resolution in regulated compound activities
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
O-MaSE: a customizable approach to developing multiagent development processes
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Modeling communicative behavior using permissions and obligations
AC'04 Proceedings of the 2004 international conference on Agent Communication
The ANote modeling language for agent-oriented specification
Software Engineering for Multi-Agent Systems III
Semantic technologies for open interaction systems
Artificial Intelligence Review
The role of the environment in agreement technologies
Artificial Intelligence Review
Hi-index | 0.00 |
Norms in multi-agent systems are a mechanism used to restrict the behavior of agents by defining what agents are obligated, permitted or prohibited to do and by stating stimulus to their fulfillment by defining rewards and discouraging their violation by pointing out punishments. In this paper we propose a normative modeling language called NormML that makes possible the modeling of the main properties and characteristics of the norms. In addition, we also propose a mechanism to validate the norms at design time, i.e., to check if the norms respect the constraints defined by the language and also their possible conflicts.