Skip to main content
Article thumbnail
Location of Repository

A Formal Framework for Organization Modeling and Analysis

By Viara Popova and Alexei Sharpanskykh


Abstract. This chapter introduces a formal framework for modeling and analys is 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, power- and interaction-related 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 ordersorted 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

Year: 2011
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.