A Formal Framework for Modeling and Analysis of Organizations

  • Viara Popova
  • Alexei Sharpanskykh
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 244)


This paper introduces a formal framework for modeling and analysis of organizations. It allows representing a great variety of organizational concepts and relations that are structured into a number of dedicated perspectives (or views), similar to the ones defined in GERAM [3]. In contrast to many existing enterprise architectures the proposed framework has formal foundations based on the order-sorted predicate logic. This formal basis enables different types of analysis of organizational specifications both of particular views and across different views. Furthermore, the framework provides support for real time management of organizational processes. The framework has been applied in a number of case studies, one of which is discussed in this paper.


Enterprise Architecture Formal Framework Business Process Modeling Interaction Relation Enterprise Modeling 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    W. van der Aalst and K.M van Hee, Workflow Management: Models, Methods, and Systems (MIT press, Cambridge, MA, 2002).Google Scholar
  2. 2.
    W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A.P. Barros, Workflow patterns, Distributed and Parallel Databases 14(3), 5–51 (2003).CrossRefGoogle Scholar
  3. 3.
    P. Bernus, et al. (eds.): Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg (1998) 209–241.Google Scholar
  4. 4.
    T. Bosse, C.M. Jonker, L. van der Meij, A. Sharpanskykh, and J. Treur, Specification and Verification of Dynamics in Cognitive Agent Models. In: Proceedings of the 6 th Int. Conf. on Intelligent Agent Technology, IAT’06 (IEEE Computer Society, 2006), pp. 247–254.Google Scholar
  5. 5.
    T. Bosse, C.M. Jonker, L. van der Meij, and J. Treur, LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Proc. MATES’05. LNAI 3550, edited by T. Eymann et al. (Springer Verlag, 2005) pp. 165–178.Google Scholar
  6. 6.
    E. Broek, C. Jonker, A. Sharpanskykh, J. Treur, and P. Yolum, Formal Modeling and Analysis of Organizations. In Coordination, Organization, Institutions and Norms in Agent Systems I, LNAI 3913, (Springer, 2006).Google Scholar
  7. 7.
    K.M. Carley: A comparison of artificial and human organizations. Journal of Economic Behavior & Organization, 31(2) 175–191 (1996).CrossRefGoogle Scholar
  8. 8.
    F.T.S. Chan, Performance measurement in a supply chain, International Journal of Advanced Manufacturing Technology 21(7), 534–548 (2003).CrossRefGoogle Scholar
  9. 9.
    V. Chapurlat, B. Kamsu-Foguem, and F. Prunet, A formal verification framework and associated tools for enterprise modeling: Application to UEML, Computers in industry, 57, 153–166 (2006).CrossRefGoogle Scholar
  10. 10.
    Y.-H. Chen-Burger, A. Tate, and D. Robertson, Enterprise Modelling: A Declarative Approach for FBPML, European Conference of Artificial Intelligence, Knowledge Management and Organisational Memories Workshop, 2002.Google Scholar
  11. 11.
    E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking (MIT Press, 2000).Google Scholar
  12. 12.
    N. Dalai, M. Kamath, W. Kolarik, and E. Sivaraman, Toward an integrated framework for modeling enterprise processes, Communications of the ACM, 47(3), 83–87 (2004).CrossRefGoogle Scholar
  13. 13.
    J. Ferber and O. Gutknecht, A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of Third International Conference on Multi-Agent Systems (ICMAS’98) (IEEE Computer Society 1998), pp.128–135.Google Scholar
  14. 14.
    M. Koubarakis and D. Plexousakis. A formal framework for business process modeling and design. Information Systems, 27(5), 299–319 (2002).MATHCrossRefGoogle Scholar
  15. 15.
    E. Krauth, H. Moonen, V. Popova, and M. Schut, Performance Measurement and Control in Logistics Service Providing, Proceedings of ICEIS 2005, pp. 239–247 (2005).Google Scholar
  16. 16.
    M. Manzano, Extensions of First Order Logic (Cambridge University Press, 1996).Google Scholar
  17. 17.
    A. H. Maslow, Motivation and Personality, 2nd. ed. (New York, Harper & Row, 1970).Google Scholar
  18. 18.
    V. Popova and A. Sharpanskykh, Formal analysis of executions of organizational scenarios based on process-oriented models. To appear in: Proc. of 21 st European Conference on Modeling and Simulation (ECMS’07), 2007.Google Scholar
  19. 19.
    V. Popova and A. Sharpanskykh, Formal Modelling of Goals in Agent Organizations. In Proc. of the AOMS Workshop (joint with IJCAI2007), 74–86.Google Scholar
  20. 20.
    V. Popova and A. Sharpanskykh, Modelling Organizational Performance Indicators. In: Proc. of IMSM’07 conference, edited by Barros, F. et al., 165–170, (2007).Google Scholar
  21. 21.
    V. Popova and A. Sharpanskykh, Process-Oriented Organization Modeling and Analysis Based on Constraints. Technical Report 062911AI, VUA,
  22. 22.
    W.R. Scott, Institutions and organizations (SAGE Publications, Thousand Oaks 2001).Google Scholar
  23. 23.
    A. Sharpanskykh, Authority and its Implementation in Enterprise Information Systems, Technical Report 070202A1, VUA.Google Scholar
  24. 24.
    A. Sharpanskykh, Modeling of Agent Behavior in the Organizational Context, Technical Report 070323AI, VUA.Google Scholar
  25. 25.
    A. Sharpanskykh and J. Treur, Verifying Interlevel Relations within Multi-Agent Systems. In: Proc. of the 17th European Conf. on AI, ECAI’06 (IOS Press, 2006), pp. 290–294.Google Scholar
  26. 26.
    K.D. Tham, Representation and Reasoning About Costs Using Enterprise Models and ABC, PhD Dissertation, University of Toronto, 1999.Google Scholar
  27. 27.
    V.H. Vroom, Work and motivation (Wiley, New York, 1964).Google Scholar

Copyright information

© International Federation for Information Processing 2007

Authors and Affiliations

  • Viara Popova
    • 1
  • Alexei Sharpanskykh
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Personalised recommendations