Con la lista de objetos completa y las propiedades de dichos objetos declaradas, se conjeturan las interacciones que existen entre ellos, mediante la generación de un modelo informático que pone a prueba si dichos objetos, virtualizados, muestran un resultado con unos márgenes de error aceptables.