Computational models based on a formal executable specification have advantages compared with models not based on a formal foundation. A model based on a formal specification formally correct represents its specification, i.e. it does the right things with respect to the specification. This enables the testing of the model with appropriate test cases to investigate its correspondence to the reality it represents. The key issue for the analysis of reality in a cadastre is the understanding of the social concepts involved. The question is how to represent social reality.
Formal models have advantages compared with non formal approaches.
In the model it is sufficient to represent only institutional reality. By the analysis of the cadastral law it is possible to extract the rules constituting institutional reality. Social reality in general and institutional reality in particular are determined by the behaviour of human beings. Thus for the model a representation of human intentions and behaviour is necessary. It allows formally representing human intentions and behaviour necessary for the model of reality in a cadastre by agents.