As the contract passes through the states, a signature is formed, which is the object of consensus on Blockchain. Consensus can be entered in different ways. The signature provides an object for the comparison formula on different miners.
GONT Tree is the ontology of transaction meanings. Contract program is transitions among states of meanings under the influence of external conditions.
The advantage of the approach is the possibility of visual (simple) programming without profound examinations in the language of contract writing.