the contract-net approach
An executable specification of an argumentation protocol
Specifying norm-governed computational societies