What is Formal Organizational Analysis

This chapter introduces a formal framework for modeling and analysis of organizations. It allows representing and reasoning about all important aspects of artificial and human organizations structured in a number of views, including performance-oriented, process-oriented, and power- and interactionrelated aspects. The framework provides means to model formal (pre)defined organizational structures and dynamics, informal relations, and behavior of organizational actors. The meaning attached to the modeling concepts is specified based on the literature from Social Science. Unlike many existing organization modeling approaches, the proposed framework has formal foundations based on the order-sorted predicate logic which enables different types of analysis of organizational specifications of particular views and across views. The framework allows scalability of modeling and analysis of complex organizations, by considering them at different aggregation levels. Furthermore, the framework provides support for real- time management of organizational processes. The framework was applied in several case studies, one of which is discussed here.