Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems