The Challenges of Formalization and Modeling of Higher Education Institutions in the 21st Century | Synapse