Proceedings of the Thirty-First Hawaii International Conference on System Sciences (1998)
Kohala Coast, HI
Jan. 6, 1998 to Jan. 9, 1998
Yao-Hua Tan , Erasmus University Rotterdam
Walter Thoen , Erasmus University Rotterdam
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.
W. Thoen and Y. Tan, "Modeling Directed Obligations and Permissions in Trade Contracts," Proceedings of the Thirty-First Hawaii International Conference on System Sciences(HICSS), Kohala Coast, HI, 1998, pp. 166.