БНФ - нотація - студопедія

БНФ-нотація дозволяє формально описати розщеплення / об'єднання потоків. Потік може розщеплюватися на власні окремі гілки, на компоненти потоку-предка або на те й інше одночасно. При розщепленні / об'єднанні потоку істотно, щоб кожен компонент потоку-предка був іменованих. Якщо потік розщеплюється на підпотоків, необхідно, щоб всі підпотоків були компонентами потоку-предка. І навпаки, при об'єднанні потоків кожен компонент потоку-предка повинен принаймні один раз зустрічатися серед підпотоків. Відзначимо, що при об'єднанні підпотоків немає необхідності здійснювати виключення загальних компонент, а при розщепленні підпотоків можуть мати такі загальні (однакові) компоненти.

Важливо розуміти, що точні визначення потоків містяться в словнику даних, а не на діаграмах. Наприклад, на діаграмі може бути груповий вузол з вхідним потоком X і вихідними підпотоків Y і Z. Однак це зовсім не означає, що відповідне визначення в словнику даних обов'язково має бути X = Y + Z. Це визначення може бути наступним:

де <простой оператор> є текстовий опис, укладену в "/", а <БНФ-выражение> є вираз у формі Бекуса-Наура, яка допускає такі операції відносин:

Ітераційні дужки можуть мати нижня і верхня межа, наприклад:

БНФ-вираз може містити довільні комбінації операцій:

Нижче наведено приклад опису потоку даних за допомогою БНФ:

Подивимося, як деякі потоки, присутні на вищенаведених діаграмах потоків даних, представляються в словнику даних.

Таблиця спеціальних символів словника

Схожі статті