Formalization of organizational intelligence for multiagent system design