Game specification in normative multiagent system: the trias politica