Крок 4. Довизначення функцій
Убудовану функцію введемо в модель Транспорт-1. Припустимо, що в моделі є панель з лампочкою, що сигналізує про прибуття. Лампочка включається командою LON(і), а виключається командою LOFF(і). В міру переміщення транспорту між зупинками формується потік LAMP-команд. Модифікований структурний текст моделі Транспорт-1 приймає вид:
ТРАНСПОРТ-1
LON(1);
опитування SV;
чекати цикл доки прибув(1)
опитування SV;
кінець чекати;
LOFF(1);
залишити(1);
транзит цикл доки відбув(1)
опитування SV;
кінець транзит:
транспорт цикл
зупинка;
прибути(і);
LON(і);
чекати цикл доки прибув(i)
опитування SV;
кінець чекати;
LOFF (і);
Залишити(і);
транзит цикл доки відбув(і)
опитування SV;
кінець транзит;
кінець зупинка;
кінець транспорт;
прибути(і);
кінець ТРАНСПОРТ-1:
Введемо функцію враження. У нашому прикладі вона може формувати команди для мотору транспорту: START, SТОР.
Умови вироблення цих команд.
Команда SТОР формується, коли датчики реєструють прибуття транспорту на зупинку.
Команда START формується, коли натиснута кнопка для запиту транспорту і транспорт чекає на одній із зупинок.
Для реалізації функції враження уведемо функціональний процес М-КЕРУВАННЯ. Він буде обробляти зовнішні дані і формувати команди START н SТОР.
Ясно, що процес М-КЕРУВАННЯ повинен мати зовнішні зв'язки з моделями ТРАНСПОРТ-1 і КНОПКА. З'єднання з моделлю КНОПКА організуємо через вектор стану ВV. З'єднання з моделлю ТРАНСПОРТ-1 організуємо через потік даних S1D.
Для забезпечення М-КЕРУВАННЯ необхідною інформацією знову треба змінити структурний текст моделі ТРАНСПОРТ-1. У ньому передбачимо занесення повідомлення Прибув у буфер S1D:
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
Очевидно, що при такому зв'язку процесів необхідно гарантувати, що процес ТРАНСПОРТ-1 виконує операції опитування SV, а процес М-КЕРУВАННЯ читає повідомлення Прибуття в S1D з частотою, достатньої для своєчасної зупинки транспорту. Тимчасові обмеження, планування і реалізація повинні розглядатися на наступних кроках проектування.
Введемо функцію діалогу. Зв'яжемо цю функцію з необхідністю розвитку моделі КНОПКА-1. Варто розрізняти перше натискання на кнопку (воно формує запит на поїздку) і наступні натискання па кнопку (до того, як поїздка дійсно почалася).
Діаграма додаткового процесу КНОП КА-2, у якому враховане це уточнення, показана на мал.
Зовнішні зв'язки моделі КНОПКА-2 повинні включати:
одне з'єднання з моделлю КНОПКА-1 - організується через потік даних B1D (для прийому повідомлення про натискання кнопки);
Два з'єднання з процесом М-КЕРУВАННЯ - одне організується через потік даних МВD (для прийому повідомлення про прибуття транспорту), інше організується через вектор стану ВV (для передачі стану перемикача Запит).
У такий спосіб. КНОПКА-2 читає два буфери даних, заповнюваних процесами КНОПКА-1 і М-КЕРУВАННЯ, і формує стан внутрішнього електронного перемикача Запит. Вона реалізує функцію діалогу.
Структурний текст моделі КНОПКА-2 може мати наступний вид:
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
_________________________________________________________________________
Діаграма системної специфікації, що відбиває всі зміни, представлена на мал.
Вбудована в ТРАНСПОРТ-1 функція виробляє Lамр-команды, функція враження моделі М-КЕРУВАННЯ генерує команди керування мотором, а модель КНОПКА-2 реалізує функцію діалогу (разом із процесом М-КЕРУВАННЯ).