3.3. Прагматичні рекомендації

Для відображення у специфікації за допомогою зазначених мовних засобів тих відповідностей між діями та поданнями, які було виявлено у процесі розв’язування задачі, можна скористатись такими загальними рекомендаціями:

• якщо виявлено перетворювальну дію, то у специфікації слід застосовувати відповідні дієслова (псевдокод), прямокутник (графічна форма);

• якщо виявлено послідовність перетворювальних дій, то у специфікації слід застосовувати послідовність відповідних слів (псевдокод), сполучення прямокутників (графічна форма);

• якщо виявлено чергування дій, то у специфікації слід застосовувати ЯКЩО-ТО-ІНАКШЕ або ЯКЩО-ТО (псевдокод), основну чи додаткові схеми чергування (графічна форма);

• якщо у специфікації трапляється повернення до виконання раніше виконаних дій або дій, виконання яких відрізняється лише деякими значеннями, але не складом, то слід застосувати ПОВТОРЮВАТИ (псевдокод), основну або додаткову схему повторення (графічна форма).

Щодо використання управляючих дій у специфікації можна подати такі рекомендації.

Для дії поєднання:

• поєднання дій у специфікації має бути використано так, щоб процес її виконання був цілеспрямованим. Якщо специфікація це поєднання дій А₀, А₁, … А_k де А₀ і А_k – відповідно початкова і кінцева дія, то для будь-якої дії А_і, такої що Y = A_i(X), 0 < i < k, має виконуватись Y /= X.

Чергування дій у специфікації має бути використано в той спосіб, щоб виконувалось таке:

• чергування необхідне;

• забезпечено виконання при наймі однієї з альтернативних дій у чергуванні;

• кожна дія в чергуванні досяжна;

• у чергуванні немає дубльованих дій.

Повторення дій у специфікації має бути використано в той спосіб, щоб виконувалось таке:

• повторення не можна замінити неповторюваною дією; наприклад, псевдокод

і=0

ДОКИ i /= N;

ПОВТОРЮВАТИ

i = i + 1;

ВСЕ ПОВТОРЮВАТИ;

можна замінити такою неповторюваною дією:

i = N;

• повторення не можна замінити чергуванням дій, наприклад, псевдокод

І=0;

доки i /= N;

ПОВТОРЮВАТИ

i = i + 1;

a = F(b);

ВСЕ ПОВТОРЮВАТИ;

можна замінити таким чергуванням дій:

ЯКЩО i /= N

ТО

i = N;

a = F(b);

ВСЕ ЯКЩО;

• повторення має не бути виродженим, тобто виконуваним не більш як один раз, і тоді його можна замінити похідною схемою чергування;.

Для використання перетворювальних дій у управляючих діях можна дати такі рекомендації:

• включення тих чи інших дій до управляючої дії має бути виправдане їхньою участю в обчисленнях, ініційованих управляючою дією, а також не повинно бути інваріантних (незмінних) щодо повторення дій або щодо однакових дій у чергуванні;

• безпосередня вкладеність повторень має підтверджуватись взаємовпливом умов усіх повторень.

Усі дії, використовувані у специфікації, мають бути результативними, тобто мають формувати або забезпечувати формування основної функції програми.

Потік даних так само як і обчислення, має спрямовуватись від початку до кінця. Це означає таке:

• не повинно бути повернення до вихідного стану значень;

• не повинно бути „переплутаних” обчислень тобто інформаційно пов’язані дії не повинні перемежовуватися з іншими – такими, що не стосуються значень, оброблюваним у даному місці специфікації.

Необхідно аналізувати характер значень і їхніх взаємозв’язків (структур), оскільки він може впливати на вибір методу розв’язування та специфікацію.

Якщо для застосування результатів необхідно вводити нові значення (не задані у вихідній специфікації), то це слід робити там де цього потребують відповідні дії.

Деталізація дій може супроводжуватись деталізацією значень.

Необхідно вибирати осмислені, зорієнтовані на задачу позначення розглядуваних значень.