Multi-formalism Modelling of Human Organization

  • Alexander H. LevisEmail author
Part of the Simulation Foundations, Methods and Applications book series (SFMA)


The modelling of a human organization for the analysis of its behaviour in response to external stimuli is a complex problem and requires development and interoperation of a set of several models. Each model, developed using different modelling languages but the same data, offers unique insights and makes specific assumptions about the organization being modelled. Interoperation of such models can produce a more robust modelling and simulation capability to support analysis and evaluation of the organizational behaviour. The meta-modelling analysis based on concept maps and ontologies indicates what types of interoperation are valid between models expressed in different modelling languages. The approach is illustrated through several examples focusing on the use of social networks, Timed Influence Nets (a variant of Bayes Nets) and Colored Petri nets.


Timed influence nets Social networks Concept maps Ontology Workflow 



The contribution of Prof. Kathleen Carley and her students, Carnegie Mellon University, in the development of some of the underlying ideas while working together in collaborative projects is gratefully acknowledged. This chapter is based on the work of many students and colleagues in the System Architectures Laboratory at George Mason University, especially Drs. Zaidi, Wagenhals and Abu Jbara.


  1. 1.
    Abu Jbara A (2013) On using multi-modeling and meta-modeling to address complex systems. Ph.D. Dissertation, George Mason University, Fairfax, VAGoogle Scholar
  2. 2.
    Bechhofer S (2003) OWL reasoning examples, University of Manchester,
  3. 3.
    Belov N, Martin MK, Patti J, Reminga J, Pawlowski A, Carley KM (2009) Dynamic networks: rapid assessment of changing scenarios. In: Proceedings of the 2nd international workshop on social computing, behavior modeling, and prediction, Phoenix, AZ, AprGoogle Scholar
  4. 4.
    Carley KM (1999) On the evolution of social and organizational networks. In: Andrews SB, Knoke D (eds) Special issue of Research in the sociology of organizations, vol 16, pp 3–30Google Scholar
  5. 5.
    Carley KM, Pfeffer J, Reminga J, Storrick J, Columbus D (2013) ORA user’s guide 2013, Carnegie Mellon University, School of Computer Science, Institute for Software Research, Technical Report, CMU-ISR-13-108Google Scholar
  6. 6.
    Emerson M, Sztipanovits J (2006) Techniques for metamodel composition. In: Proceedings of the 6th OOPSLA workshop on domain-specific modeling, Portland, OR, Oct 22, pp 123–139Google Scholar
  7. 7.
    Fishwick PA (2004) Toward an integrative multimodeling interface: a human-computer interface approach to interrelating model structures. SCS Trans Model Simul 80(9):421–32Google Scholar
  8. 8.
    Garlan D, Carley KM, Schmerl B, Bigrigg M, Celiku O (2009) Using service-oriented architectures for socio-cultural analysis. In: Proceedings of the 21st international conference on software engineering and knowledge engineering (SEKE2009), Boston, MA, July 1–3Google Scholar
  9. 9.
    Haider S, Levis AH (2007) Effective course-of-action determination to achieve desired effects. IEEE Trans Syst Man Cybern Part A: Syst Hum 37(6):1140–1150CrossRefGoogle Scholar
  10. 10.
    Hemingway G, Neema H, Nine H, Sztipanovits J, Karsai G (2011) Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation 17 MarchGoogle Scholar
  11. 11.
    IHMC (2014) IHMC CMap tools
  12. 12.
    INET Framework (2014)
  13. 13.
    Karsai G, Maroti M, Lédeczi A, Gray J, Sztipanovits J (2004) Composition and cloning in modeling and meta-modeling. IEEE Trans Control Syst Technol 12(2):263–278Google Scholar
  14. 14.
    Kappel G, Kapsammer E, Kargl H, Kramler G, Reiter T, Retschitzegger W, Schwinger W, Wimmer M (2006) Lifting metamodels to ontologies: a step to the semantic integration of modeling languages. MoDELS 528–542Google Scholar
  15. 15.
    Levis AH (2005) Executable models of decision making organizations. In: Rouse WB, Boff K (eds) Organizational simulation. Wiley, New YorkGoogle Scholar
  16. 16.
    Levis AH (2014) Pythia 1.8 user’s manual. System Architectures Laboratory, George Mason University, Fairfax, VAGoogle Scholar
  17. 17.
    Levis AH, Abu Jbara A (2013) Multi-modeling, meta-modeling and workflow languages. In: Gribaudo M, Iacono M (eds) Theory and application of multi-formalism modeling. IGI Global, Hershey, PAGoogle Scholar
  18. 18.
    Levis AH, Kansal SK, Olmez AE, AbuSharekh AM (2008) Computational models of multinational organizations. In: Liu H, Salerno JL, Young MJ (eds) Social computing, behavioral modeling and prediction. Springer, New YorkGoogle Scholar
  19. 19.
    Levis AH, Zaidi AK, Rafi MF (2012) Multi-modeling and meta-modeling of human organizations. In: Salvendy G, Karwowski W (eds) Advances in human factors and ergonomics 2012: proceedings of the 4th AHFE conference, San Francisco, CA. CRC Press, Boca Raton, FL, pp 21–25Google Scholar
  20. 20.
    Maria A (1997) Introduction to modeling and simulation. In: Proceedings of the 29th Winter simulation conference, Atlanta, GA, Dec 7–10. IEEE Computer Society, Washington, D.CGoogle Scholar
  21. 21.
    Mernik M, Heering J, Sloane AM (2005) When and how to develop domain-specific languages. ACM Comput Surv (CSUR) 37:316–344Google Scholar
  22. 22.
    Novak JD, Cañas AJ (2008) The theory underlying concept maps and how to construct and use them. Technical Report IHMC CmapTools 2006-01 Rev 01-2008, Pensacola, FLGoogle Scholar
  23. 23.
    OMG-BPMN (2011) Business Process Model and Notation (BPMN).
  24. 24.
    OMG-BPEL (2014) Business Process Execution Language (BPEL).
  25. 25.
    OMNeT ++ (2014)
  26. 26.
    Rafi MF (2010) Meta-modeling for multi-model integration. MS Thesis, Department of Computer Science, George Mason University, Fairfax, VA (May)Google Scholar
  27. 27.
    Saeki M, Kaiya H (2006) On relationships among models, meta models and ontologies. In: Proceedings of the 6th OOPSLA workshop on domain-specific modeling, Portland, OR, Oct 22Google Scholar
  28. 28.
    Wagenhals LW, Levis AH (2007) Course of action analysis in a cultural landscape using influence nets. In: Proceedings IEEE symposium on computational intelligence in security and defense applications, CISDA, Honolulu, Hawaii, Apr 1–5, pp 116–123Google Scholar
  29. 29.
    Zaidi AK, Levis AH (2001) TEMPER: a temporal programmer for time-sensitive control of discrete event systems. IEEE Trans Syst Man Cybern 31(6):485–96Google Scholar
  30. 30.
    Zaidi AK, Levis AH (1997) Validation and verification of decision making rules. Automatica 33(2):155–169Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Electrical and Computer EngineeringGeorge Mason UniversityFairfaxUSA

Personalised recommendations