Can I read Formal Modeling of E-Contracts on EtoBox?

Formal Modeling of E-Contracts by Himanshu Agarwal is a document available to read on EtoBox.

What is Formal Modeling of E-Contracts about?

This document discusses formal modeling of electronic contracts (e-contracts). It introduces concepts for modeling temporal constraints and deontic constraints in e-contracts. Temporal constraints include modeling absolute time, relative time, and temporal relations. Deontic constraints include modeling obligations, permissions, and prohibitions associated with roles in an e-contract using deontic logic. The document proposes using role windows and time maps as visualization tools for verifying and scheduli

Author

Himanshu Agarwal

Language

EN