SMS: Формальная модель автоматизированной системы профилактических осмотров населения