A Formal Description of Contractual Commitment