

FMEC: Overview and Interpretation.- Policies.- Practical Contract Storage, Checking, and Enforcement for Business Process Automation.- Legitimacy Checking in Communicative Workflow Design.- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach...

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures;...