The role of deontic logic in the specification of information systems
Logics for databases and information systems
MOISE+: towards a structural, functional, and deontic model for MAS organization
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Distributed and Parallel Databases
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Organizational Petri Nets for protocol design and enactment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Discovering colored Petri nets from event logs
International Journal on Software Tools for Technology Transfer (STTT)
| Hi-index | 0.00 |
Interaction protocols are a key mechanism for modeling the coordination of real world organizations and deontic rules. Modeling deontic protocols require resources, roles and their activities, as well as the protocol actions to be described. The Organizational Petri Nets formalism enables both these components and their relationships to be taken into account. After having introduced an intuitive definition of this formalism, we propose a methodology to model deontic protocols using this formalism. This methodology is also applied to a library borrowing protocol.