Моделирование информационной системы библиотеки с использованием методологии IDE