Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Flexible deadlines for directed obligations in agent-based business contracts
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Directed deadline obligations in agent-based business contracts
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Monitoring directed obligations with flexible deadlines: a rule-based approach
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Design by contract deontic design language for multiagent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Hi-index | 0.00 |
In this paper we present definitions for directed obligation and permission in trade procedures and contracts. These definitions are based on deontic logic and action logic. The aim of these definitions is to give better models of directed obligation and permission that enables better modeling of procedures and contracts in (electronic) commerce. We show that these definitions can be used to give a more sophisticated formal framework for representing so-called Deontic Deep Structure Models (DDSM) for business procedures. These models can be used to support the electronification of such procedures.