MRajtsin Сообщение 06/10/2007 13:34 Копия темы
. Постановка задачи

Разработать на языке RSL спецификацию программного интерфейса определяемой вариантом задания системы в виде:
- явной моделеориентированной спецификации,
- неявной моделеориентированной спецификации,
- алгебраической спецификации.
При описании интерфейса предложенной системы предусмотреть в его составе операции по формированию информационной базы системы, обеспечивающей возможность накапливать и использовать необходимую информацию. Способ представления такой информационной базы выбрать самостоятельно. В предложенных ниже вариантах заданий дается лишь краткое описание программных систем с указанием минимально необходимого набора операций, тем самым разработчику спецификаций предоставляется возможность расширить этот набор по своему усмотрению.

Модель:
Информационное табло по состоянию авиарейсов.
На табло отражается следующая информация о рейсе: номер рейса, пункт вылета, время прилета по расписанию, ожидаемое время прилета, статус (отложен, вылетел, прилетел). Система поддержки информационного табло должна обеспечивать добавление и удаление информации о рейсах, а также внесение изменений в состояние табло, если произошло некоторое событие (например, вылет какого-то рейса отложен на N минут, произошла посадка самолета указанного рейса и т.д.)

Рекомендации скину отдельно.
Разработать на языке RSL спецификацию