Statistics of Formalising the twofold structure of a proactive system: Proof of concept on deterministic and probabilistic levels