Formal approach to model complex adaptive computing systems (Complex Adaptive Systems Modeling, 2020)