Подходы к верификации информационно-аналитических систем, имеющих сложную по своей структуре модель данныхтезисы доклада