This paper shows how process algebra can be used to automatically generate verifiable mechanisms for multi-agent systems wherein agents need to trust the system. We make the link between games and process models and then present an iterative algorithm allowing us to generate mechanisms as computer programs implementing given systems' requirements, which are expressed as constraints and desirable properties such as incentive compatibility. This methodology can be used to deploy for example agent mediated e-commerce systems.
展开▼