Text this: Formal approach to model complex adaptive computing systems