Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism

摘要

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.