Моделирование систем. Замятина О.М. - 57 стр.

UptoLike

Составители: 

57
Синтаксис
БНФ-спецификации:
@БНФ = <простой оператор> ! <БНФ-выражение>;
<простой оператор> – это текстовое описание;
<БНФ-выражение> – это выражение в форме Бэкуса-Наура.
Между выражениями могут использоваться следующие отношения:
= означает «композиция из»;
+ означает логическое «И»;
! означает логическое «ИЛИ»;
«» означает литерал.
Примеры БНФ-спецификаций
Пример 1
@ИМЯ = ВВЕДЕННАЯ КРЕДИТНАЯ КАРТА
@ТИП
= управляющий поток
@БНФ = /указывает, что кредитная карта введена/
Пример 2
@ИМЯ = ДАННЫЕ КРЕДИТНОЙ КАРТЫ
@ТИП = поток данных
@БНФ = ПАРОЛЬ + ДЕТАЛИ КЛИЕНТА + ЛИМИТ ДЕНЕГ
Пример 3
@ИМЯ = ДАННЫЕ КЛИЕНТА
@ТИП = поток данных
@БНФ = ФИО + адрес + телефон + ИНН
Пример 4
@ИМЯ = ДЕНЬГИ
@ТИП = дискретный поток
@БНФ = /деньги, выдаваемые клиенту/
@ЕДИНИЦА ИЗМЕРЕНИЯ = доллар
@НОРМА = 5...1000
@КОММЕНТАРИЙ Сумма выдаваемых денег должна делиться на 5
Пример 5
@ИМЯ = СООБЩЕНИЕ
@ТИП = поток данных
@БНФ = e-mail ! факс ! письмо