A Formal Framework of Virtual Organisations as Agent Societies