Organizations have proven to be a useful paradigm for analyzing and designing Multi-Agent Systems (MAS) [2]. Representation of MAS as an organization consisting of roles and groups can tackle major drawbacks present in traditional multi-agent models; e.g., high complexity and poor predictability of dynamics in a system. Moreover, organizational research has recognized the advantages of agent-based models; e.g., for analysis of structure and dynamics of real organizations [1]. However, formal theories, approaches, and tools for designing such models are rare.In this paper, we propose an approach for formal specification of organizations. In contrast to most social science theories it can capture both structural and dynamic aspects of the organization formally and, subsequently, has four advantages: (1) Formal representation of organization structure (including specifications of actors (or roles), relations between them, and information flows).(2) The means for simulations of different scenarios on the basis of a model and observing their results.(3) Organization analysis by means of verifying static and dynamic properties against either simulated scenarios or (formalized) empirical data, taken from real organizations. (4) Diagnosis of inconsistencies, redundancies, and errors in structure and functioning of real organizations and providing recommendations for their improvement (e.g., with regard to organizational performance indicators).Both the general (or abstracted) structure and the behavior of organizations is specified by a generic (or template) model, which is used for a high level organization analysis. For a more detailed analysis, a deployed model is introduced. Such a model is based on both unfolded generic relations between roles, as defined in the generic model, and on creating new role instances. For each role instance, a set of requirements is identified. These requirements are imposed onto the agents, who will eventually enact these roles. For formalizing structural and dynamic aspects of both a template model and a deployed model, ontologies specified in an order-sorted logic are used.The specification of an organization structure in a template and a deployed model uses the following elements: (1) A role that represents a subset of functionalities, performed by an organization, abstracted from specific agents that fulfill them. In contrast to many other organization models from computational organization theory and artificial intelligence, each role in the proposed model can be composed by several other roles, until the necessary level of detail of aggregation is achieved. A role that is composed of (interacting) subroles, is called a composite role. Each role has an input and an output interface, which facilitate in the interaction (communication) with other roles. (2) An interaction link, which represents an information channel between two roles at the same aggregation level. (3) Frequently ignored in other organization models environment is represented as a special component of the proposed mod...