An approach to formalize the dynamics of complex computer systems for subsequent simulation and sustainability analysis

  • Authors:

  • Anatoly Kurkovsky

  • Affiliations:

  • The University System of Georgia

  • Venue:
  • Proceedings of the 2012 Symposium on Emerging Applications of M&S in Industry and Academia Symposium
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Globalization creates many challenges for the society, as well as for various technologies including computer systems. On the basis of the international higher education sustainable development initiative we considered sustainability of computer systems in universities as a response to globalization. Sustainability analysis requires an improved understanding of potential bottlenecks of the system dynamics. We identified computer systems of higher education as Multifunction Complex Computer Systems (MCCS) and proposed a formalization of their dynamics within a hierarchy of models. At the low level of the hierarchy we propose using propositional logic in order to formalize the system dynamics. At the top level of the hierarchy we propose creating an MCCS simulation model in order to conduct the sustainability analysis.