Monitoring Multi-party Contracts for E-Business

According to Definition AGFIL agreeRepair assert absolute_deadline assert perform_time assert threadID assign Assessor assign Garage business process business process automation car insurance Chapter commitment graph contact Garage contract constraints contract execution contract fulfillment stage contract monitoring contract violation contractual parties daily service commitment deadline deontic logic diamond e-contracting e-market ebXML Electronic Commerce electronic contracting Europ Assist formal forward Claim forward Invoice inspect Car labeled transition system Lee C.S. logic relationships maintaining guard algorithm monitorable contract model monitoring mechanism monitoring module multi-agent systems multi-party contract notify Claim notyet occur payRepair Cost Petri Petri Net phoneClaim policyholder postcondition Predicate logic pro-active detection algorithm pro-active monitoring reactive module reactive monitoring receiveInfo reminding and warning repairCar responsible partners retract absolute_deadline retract perform_time retract threadID return Claim Form Section semantics sendCar sender sendInvoice sendRepairCost specified Subjective logic trigger web services workflow write XPDL yields proof trees