Towards a Formal Reactive Autonomic Systems Framework using Category Theory