Методика разработки и средства формализации функциональных спецификаций систем и устройств
Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляет...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2016 |
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/142014 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859993730193293312 |
|---|---|
| author | Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. |
| author_facet | Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. |
| citation_txt | Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход иллюстрируется развернутым примером.
Запропоновано підхід до побудови функціональних специфікацій та до автоматизації переходу від специфікацій, поданих природними мовами, до формальних моделей у форматі, що є зручним для подальшої верифікації цих моделей та валідації побудованих за ними програмних кодів. Перетворення текстів у моделі здійснюється за допомогою описаної інтерактивної системи ОЕС. Описаний підхід ілюструється розгорнутим прикладом.
In this paper, we propose an approach to the construction of functional specifications and to automation of the transition from specifications in natural language to formal models in a format suitable for the subsequent verification of these models and validation of software code built on them. Converting texts to models is carried out by means of the interactive system OEC described in the paper. Our approach is illustrated by a detailed example.
|
| first_indexed | 2025-12-07T16:32:39Z |
| format | Article |
| fulltext |
ÓÄÊ 519.766:004.415.5
À.Á. ÃÎÄËÅÂÑÊÈÉ, Í.Ì. ÌÈÙÅÍÊÎ, Ì.Ê. ÌÎÐÎÕÎÂÅÖ, Î.Ä. ÔÅËÈÆÀÍÊÎ,
Í.Í. Ù¨ÃÎËÅÂÀ
ÌÅÒÎÄÈÊÀ ÐÀÇÐÀÁÎÒÊÈ È ÑÐÅÄÑÒÂÀ ÔÎÐÌÀËÈÇÀÖÈÈ
ÔÓÍÊÖÈÎÍÀËÜÍÛÕ ÑÏÅÖÈÔÈÊÀÖÈÉ ÑÈÑÒÅÌ È ÓÑÒÐÎÉÑÒÂ1
Àííîòàöèÿ. Ïðåäëîæåí ïîäõîä ê ïîñòðîåíèþ ôóíêöèîíàëüíûõ ñïåöèôèêà-
öèé è ê àâòîìàòèçàöèè ïåðåõîäà îò ñïåöèôèêàöèé íà åñòåñòâåííûõ ÿçûêàõ
ê ôîðìàëüíûì ìîäåëÿì â ôîðìàòå, óäîáíîì äëÿ ïîñëåäóþùèõ âåðèôèêàöèè
ýòèõ ìîäåëåé è âàëèäàöèè ïîñòðîåííûõ ïî íèì ïðîãðàììíûõ êîäîâ. Ïðåîá-
ðàçîâàíèå òåêñòîâ â ìîäåëè îñóùåñòâëÿåòñÿ ñ ïîìîùüþ èíòåðàêòèâíîé ñèñ-
òåìû ÎÅÑ. Îïèñàííûé ïîäõîä èëëþñòðèðóåòñÿ ðàçâåðíóòûì ïðèìåðîì.
Êëþ÷åâûå ñëîâà: ôóíêöèîíàëüíàÿ ñïåöèôèêàöèÿ, ïîâåäåí÷åñêàÿ ìîäåëü,
ôîðìàëüíàÿ ñïåöèôèêàöèÿ ñèñòåì è óñòðîéñòâ, ÿçûêîâîé ïðîöåññîð.
ÂÂÅÄÅÍÈÅ
Îäíèì èç âàæíåéøèõ ýòàïîâ ðàçðàáîòêè ñèñòåì (óñòðîéñòâ) ÿâëÿåòñÿ ìîäåëè-
ðîâàíèå êàê èõ îòäåëüíûõ êîìïîíåíòîâ, òàê è ñèñòåì â öåëîì. Ïðè ýòîì ïðî-
âåðÿåòñÿ ñîîòâåòñòâèå ìåæäó ïîâåäåíèåì ìîäåëè è ïîâåäåíèåì, êîòîðîå ÿâëÿ-
ëîñü æåëàåìûì ïðè ôîðìèðîâàíèè çàäàíèÿ íà ðàçðàáîòêó ñèñòåìû. Íà ôîð-
ìàëüíûõ ìîäåëÿõ ìîæíî ïðîâîäèòü âåðèôèêàöèþ ñèñòåì, äîêàçûâàÿ,
íàïðèìåð, ÷òî îïðåäåëåííûå êðèòè÷åñêèå ñîñòîÿíèÿ â ìîäåëè íåäîñòèæèìû
èç åå ñòàðòîâûõ ñîñòîÿíèé. Ìîäåëè ìîæíî òàêæå èñïîëüçîâàòü äëÿ ïîñòðîå-
íèÿ òåñòîâûõ íàáîðîâ, îòâå÷àþùèõ îïðåäåëåííûì êðèòåðèÿì è ïîçâîëÿþùèõ
çàòåì ïðîâîäèòü âàëèäàöèþ èçãîòîâëÿåìîãî óñòðîéñòâà.
 ïðîöåññå ïðîåêòèðîâàíèÿ ïðèìåíÿþòñÿ ðàçëè÷íûå âèäû ìîäåëåé, êîòîðûå
îòîáðàæàþò ðàçíûå óðîâíè ïîíèìàíèÿ ïðåäíàçíà÷åíèÿ ðàçðàáàòûâàåìîãî
óñòðîéñòâà: îò òîãî, ÷òî îíî äîëæíî äåëàòü, äî òîãî, êàê îíî ýòî äåëàåò, èç êàêèõ
÷àñòåé ñîñòîèò è êàê îíè âçàèìîäåéñòâóþò. Âíà÷àëå çàäàåòñÿ âåðõíèé óðîâåíü
(High Level Design), ãäå îòðàæàþòñÿ îáùèå ïîæåëàíèÿ çàêàç÷èêà ê çàäà÷àì, êîòî-
ðûå äîëæíî ðåøàòü ïðîåêòèðóåìîå óñòðîéñòâî. Äàëåå íà óðîâíå àðõèòåêòóðíûõ
ðåøåíèé îïðåäåëÿåòñÿ ñòðóêòóðà êîìïîíåíòîâ, èç êîòîðûõ áóäåò ñîñòîÿòü
óñòðîéñòâî, è èíòåðôåéñ, ðåãëàìåíòèðóþùèé èõ âçàèìîäåéñòâèå. Íàêîíåö,
ôóíêöèîíèðîâàíèå îòäåëüíûõ êîìïîíåíòîâ è èõ âçàèìîäåéñòâèå îïðåäåëÿåòñÿ
ïîâåäåí÷åñêèìè ìîäåëÿìè. Ïîñëåäíèå ìîãóò áûòü îïèñàííûìè íà ñïåöèàëüíûõ
ÿçûêàõ, íàïðèìåð, íà ãðàôè÷åñêîì ÿçûêå UCM [1], ãäå â âèäå ïðîöåññîâ (ïóòåé
â ñïåöèàëüíûõ ãðàôàõ) ïðåäñòàâëåíû ðàçëè÷íûå ñöåíàðèè ôóíêöèîíèðîâàíèÿ
ïðîåêòèðóåìîé ñèñòåìû. Êëàññè÷åñêèé ñïîñîá îïèñàíèÿ ïîâåäåí÷åñêîé ìîäåëè
óñòðîéñòâà — ýòî ïðåäñòàâëåíèå åå â âèäå òðàíçèöèîííîé ñèñòåìû [2], êîòîðàÿ
çàäàåòñÿ ìíîæåñòâîì ñîñòîÿíèé, âêëþ÷àÿ âûäåëåííûå íà÷àëüíûå è êðèòè÷åñêèå
ñîñòîÿíèÿ, è îòíîøåíèåì ïåðåõîäîâ íà ìíîæåñòâå ýòèõ ñîñòîÿíèé.
 èíæåíåðíîé ïðàêòèêå ïîâåäåíèå ïðîåêòèðóåìîé ñèñòåìû ìîæåò áûòü çà-
äàíî â âèäå ôóíêöèîíàëüíûõ ñïåöèôèêàöèé (ÔÑ) — òåêñòîâûõ îïèñàíèé, ðåãëà-
ìåíòèðóþùèõ ïåðåõîäû â ñèñòåìå. Ñîäåðæàòåëüíî ÔÑ ñîñòîèò èç äâóõ ÷àñòåé,
îäíà èç êîòîðûõ îïèñûâàåò íåêîòîðîå ñîñòîÿíèå ñèñòåìû, à äðóãàÿ — åå âîçìîæ-
íóþ ðåàêöèþ â ýòîì ñîñòîÿíèè. Ïî ñóòè, ÔÑ ìîæíî ðàññìàòðèâàòü êàê ïðàâèëî
ïåðåõîäà òðàíçèöèîííîé ñèñòåìû, êîòîðîå ïðåäñòàâëåíî íà åñòåñòâåííîì (íå-
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 25
1Ðàáîòà âûïîëíåíà â ðàìêàõ ïðîåêòà 5228õ ïðè ïîääåðæêå Íàöèîíàëüíîé àêàäåìèè íàóê Óêðàèíû è
Óêðàèíñêîãî íàó÷íî-òåõíîëîãè÷åñêîãî öåíòðà (ÓÍÒÖ).
� À.Á. Ãîäëåâñêèé, Í.Ì. Ìèùåíêî, Ì.Ê. Ìîðîõîâåö, Î.Ä. Ôåëèæàíêî, Í.Í. Ùåãîëåâà, 2016
ôîðìàëèçîâàííîì) ÿçûêå. Îäíà èç òèïè÷íûõ ôîðì ÔÑ èìååò âèä
Åñëè «íåêîòîðûå ïàðàìåòðû ñèñòåìû íàõîäÿòñÿ â òàêèõ-òî äèàïàçîíàõ»
[è «ïðîèçîøëî íåêîå ñîáûòèå»], òî «ñèñòåìà äîëæíà òàêèì-òî îáðàçîì èçìåíèòü
çíà÷åíèå ÷àñòè ñâîèõ ïàðàìåòðîâ».
Îòìåòèì, ÷òî âûðàæåíèå «ïðîèçîøëî íåêîå ñîáûòèå» îçíà÷àåò, ÷òî â ñèñòå-
ìó (èëè åå êîìïîíåíò) ïðîñòóïèëî ñîîáùåíèå ëèáî èçâíå (îò äðóãîãî êîìïîíåí-
òà), ëèáî îò îäíîãî èç òàéìåðîâ èëè èçìåíèëîñü çíà÷åíèå îäíîãî èç ïàðàìåòðîâ,
ðàçäåëÿåìûõ ñ äðóãèìè êîìïîíåíòàìè. Òàêîé ñïîñîá çàäàíèÿ ñïåöèôèêàöèé õà-
ðàêòåðåí äëÿ ñèñòåì, óïðàâëÿåìûõ ñîáûòèÿìè (event driven model), ãäå ÿâíî
ïðåäñòàâëåí ïðîöåññ àêòèâàöèè êîìïîíåíòîâ. Îäíàêî ÷àñòü óñëîâèÿ î íåêîòîðîì
ïðîèçîøåäøåì ñîáûòèè ìîæåò íå óêàçûâàòüñÿ, è òîãäà ñèñòåìà ôóíêöèîíèðóåò
êàê îáû÷íûå ïîñëåäîâàòåëüíûå ïðîãðàììû, ãäå î÷åðåäíàÿ êîìàíäà èçìåíÿåò ñî-
ñòîÿíèå ïàìÿòè, à ñëåäóþùàÿ âûïîëíÿåò äåéñòâèÿ, óæå àäàïòèðóÿñü (íàïðèìåð,
âûáèðàÿ àëüòåðíàòèâó) ê ýòîìó íîâîìó ñîñòîÿíèþ èíôîðìàöèîííîé ñðåäû.
Äàííàÿ ðàáîòà âûïîëíÿëàñü â ðàìêàõ ïðîåêòà 5228õ «Êîãíèòèâíàÿ àðõèòåê-
òóðà äëÿ ïîíèìàíèÿ ïðîãðàììíûõ ñèñòåì», ãäå ñòàâèëàñü îáùàÿ çàäà÷à âåðèôè-
êàöèè ñèñòåì, îñíîâàííàÿ íà îïðåäåëåííîì êëàññå ôîðìàëüíûõ ìîäåëåé, êîòî-
ðûå, â ñâîþ î÷åðåäü, áûëè ïîñòðîåíû ïî ñïåöèôèêàöèÿì, ïðåäñòàâëåííûì íà åñ-
òåñòâåííûõ ÿçûêàõ (Åß). Èç ýòîãî êîìïëåêñà çàäà÷ — ôîðìàëèçàöèè òåêñòîâ è
âåðèôèêàöèè ïîñòðîåííûõ ïî íèì ìîäåëåé, â íàñòîÿùåé ñòàòüå ðàññìàòðèâàåòñÿ
ïåðâàÿ. Ïðè ýòîì âíèìàíèå óäåëÿåòñÿ íå ïîñòðîåíèþ êîíêðåòíîé ôîðìàëèçàöèè
äëÿ îïðåäåëåííîé ñïåöèôèöèðóåìîé ñèñòåìû, à òîìó, êàê ýòó ôîðìàëèçàöèþ
ñëåäóåò ïðîâîäèòü è êàê åå ìîæíî àâòîìàòèçèðîâàòü. Ðàçðàáîòàííàÿ ìåòîäèêà
àâòîìàòèçàöèè äåìîíñòðèðóåòñÿ äàëåå íà ïðèìåðå óñòðîéñòâà êîôå-àâòîìàòà
(ÊÀ) è ñîñòîèò â îïèñàíèè ïîñëåäîâàòåëüíûõ òðàíñôîðìàöèé îò íà÷àëüíûõ òåê-
ñòîâûõ ñïåöèôèêàöèé ê ïðåäñòàâëåíèþ ïåðåõîäîâ â âèäå, âîñïðèíèìàåìîì êîì-
ïîíåíòîì, îñóùåñòâëÿþùèì âåðèôèêàöèþ ñèñòåìû.
 îïèñàíèè ìåòîäèêè ïîñòðîåíèÿ ôóíêöèîíàëüíûõ ñïåöèôèêàöèé ñäåëàí
àêöåíò íà ôîðìàëèçàöèè ïðàâèë ïåðåõîäà â ñèñòåìå (â âèäå, áëèçêîì ê òàê íàçû-
âàåìûì áàçîâûì ïðîòîêîëàì — âàæíîìó ïîíÿòèþ â èíñåðöèîííîì ìîäåëèðîâà-
íèè [3]) è íå ðàññìàòðèâàþòñÿ òàêèå ýòàïû, êàê âûäåëåíèå ìíîæåñòâ àãåíòîâ è
àòðèáóòîâ ñèñòåìû, à òàêæå îïðåäåëåíèÿ èõ òèïîâ.
Ñóùåñòâóåò ðÿä ðàáîò, ïîñâÿùåííûõ ïðîáëåìå îñîçíàíèÿ ñìûñëà Åß-òåê-
ñòîâ ñ ïîìîùüþ êîìïüþòåðîâ, êîòîðûå îñíîâàíû íà èñïîëüçîâàíèè ïîíÿòèÿ
îíòîëîãèè [4]. Â ýòèõ ðàáîòàõ ðàçðàáàòûâàþòñÿ êîíöåïòû ìíîãèõ áàçîâûõ ïîíÿ-
òèé, íàïðèìåð, ñâÿçàííûõ ñ ïðîñòðàíñòâîì, âðåìåíåì, êîòîðûå çàòåì èíòåðïðå-
òèðóþòñÿ ñëîâàìè è ôðàçàìè íà òåõ èëè èíûõ Åß. Îíòîëîãè÷åñêèé ïîäõîä ê àíà-
ëèçó Åß-òåêñòîâ ÿâëÿåòñÿ ôóíäàìåíòàëüíûì, îäíàêî ïîëíîìàñøòàáíî ïðèìåíÿ-
åòñÿ è ðåàëèçóåòñÿ â áîëüøèõ ïðîåêòàõ.
 òî æå âðåìÿ èìåþòñÿ ðàáîòû ïî ðåøåíèþ ÷àñòíûõ çàäà÷ ôîðìàëèçàöèè òåê-
ñòîâûõ ñïåöèôèêàöèé â öåëÿõ äàëüíåéøåé èõ îáðàáîòêè ôîðìàëüíûìè ìåòîäàìè.
Àíàëèçèðóÿ ýòè ðàáîòû, ìîæíî âûäåëèòü òàêèå ïîäõîäû ê äàííîé ïðîáëåìå:
— ïðèìåíåíèå ñòàòèñòè÷åñêèõ ìåòîäîâ äëÿ àíàëèçà ñîâîêóïíîñòåé ñïåöè-
ôèêàöèé áîëüøîãî îáúåìà â öåëÿõ âûÿâëåíèÿ èõ ñìûñëîâîé áëèçîñòè, ïðè ýòîì
ñïåöèôèêàöèè çàïèñàíû íà Åß áåç îãðàíè÷åíèé [5];
— èñïîëüçîâàíèå òàê íàçûâàåìîãî îãðàíè÷åííîãî Åß äëÿ çàïèñè ñïåöè-
ôèêàöèé [6], â ýòîì ñëó÷àå ïðåäëàãàåòñÿ îãðàíè÷èòüñÿ ïðîñòûìè ÿçûêîâûìè
êîíñòðóêöèÿìè áåç ñëîæíîïîä÷èíåííûõ ïðåäëîæåíèé;
— êîíñòðóèðîâàíèå ïðîñòûõ ôîðìàëüíûõ ÿçûêîâ, áëèçêèõ ê Åß, îðèåíòèðî-
âàííûõ íà îïðåäåëåííóþ îáëàñòü ïðèìåíåíèÿ, âûðàæåíèÿ êîòîðûõ ëåãêî ïðåîá-
ðàçóþòñÿ â ôîðìóëû ëîãèêè [7].
26 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
Èñïîëüçîâàíèå åñòåñòâåííîãî ÿçûêà äëÿ ïðåäñòàâëåíèÿ ôóíêöèîíàëüíûõ ñïå-
öèôèêàöèé è ðàáîòû ñ íèìè èìååò íàðÿäó ñ î÷åâèäíûìè ïðåèìóùåñòâàìè îïðåäå-
ëåííûå òðóäíîñòè, ïðè ýòîì íàèáîëåå ñóùåñòâåííûìè ÿâëÿþòñÿ ñëåäóþùèå:
— òåêñò íà Åß ïî ðàçëè÷íûì ïðè÷èíàì ìîæåò íåîäíîçíà÷íî òîëêîâàòüñÿ;
— äëÿ îáðàáîòêè òåêñòà íà Åß ñ ïîìîùüþ ôîðìàëüíûõ ìåòîäîâ åãî âíà÷àëå
íåîáõîäèìî ïðåîáðàçîâàòü â òåêñò íà ôîðìàëüíîì ÿçûêå.
Ïðåäñòàâëåíèå ÔÑ íà ôîðìàëüíîì ÿçûêå ïîçâîëÿåò ïðèìåíÿòü ê íèì ôîð-
ìàëüíûå ìåòîäû àíàëèçà. Îäíàêî èìåþòñÿ òðóäíîñòè ïðè ðàáîòå ñ òåêñòîì íà
ôîðìàëüíîì ÿçûêå; òðåáóåòñÿ âûñîêèé óðîâåíü çíàíèé è ïîäãîòîâêè äëÿ:
— ïðåäñòàâëåíèÿ ñâîéñòâ è ôóíêöèîíàëüíûõ ñïåöèôèêàöèé;
— ïîíèìàíèÿ ðåçóëüòàòîâ ðàáîòû ñðåäñòâ àíàëèçà.
Ïðîåêòèðîâùèêó ñèñòåì è óñòðîéñòâ, à òàêæå ðàçðàáîò÷èêó ôóíêöèîíàëüíûõ
ñïåöèôèêàöèé íàèáîëåå óäîáíî è ïðîñòî áûëî áû ïîëüçîâàòüñÿ ïðèâû÷íûì Åß è
îïèðàòüñÿ íà ôîðìàëüíûå ìåòîäû, íå ïîãðóæàÿñü â èõ òåõíè÷åñêèå ïîäðîáíîñòè.
Ïðîáëåìà ñîçäàíèÿ óäîáíûõ ñðåäñòâ, ñî÷åòàþùèõ ïðåèìóùåñòâà èñïîëüçîâàíèÿ
Åß äëÿ ïðåäñòàâëåíèÿ ÔÑ è ôîðìàëüíûõ ñðåäñòâ èõ àíàëèçà, âñå åùå àêòóàëüíà.
×òîáû èçáåæàòü íåêîòîðûõ òðóäíîñòåé ïðè ïðèìåíåíèè Åß, ïðèáåãàþò, êàê îòìå-
÷àëîñü ðàíåå, ê ñóæåíèþ ÿçûêîâûõ ñðåäñòâ (ê èñïîëüçîâàíèþ îãðàíè÷åííîãî Åß).
Ïðèâåäåííûé äàëåå ïîäõîä ê ðàçðàáîòêå ôîðìàëüíûõ ìîäåëåé ÔÑ ñîñòîèò
â òîì, ÷òîáû, íå îãðàíè÷èâàÿ ðàçðàáîò÷èêà ÔÑ æåñòêèìè ðàìêàìè ôîðìàëüíîãî
ÿçûêà, ïðåäîñòàâèòü åìó:
— ìåòîäèêó (ïðîöåäóðó) ôîðìèðîâàíèÿ ÔÑ íà Åß;
— ñðåäñòâà ïðîãðàììíîé ïîääåðæêè äëÿ ïðåîáðàçîâàíèÿ ÔÑ íà Åß â ÔÑ íà
ôîðìàëüíîì ÿçûêå.
Ìàòåðèàë ñòàòüè îðãàíèçîâàí ñëåäóþùèì îáðàçîì. Â ðàçä. 1 ïðåäñòàâëåíà
ìåòîäèêà ïîñòðîåíèÿ ÔÑ íà Åß. Ðàçä. 2 ïîñâÿùåí îïèñàíèþ èíòåðàêòèâíîé ÿçû-
êîâîé ñèñòåìû îáðàáîòêè Åß-ñïåöèôèêàöèé (ÎÅÑ) äëÿ ïîñòðîåíèÿ ÔÑ íà ôîð-
ìàëüíîì ÿçûêå ïî ÔÑ íà Åß. Ïëàòôîðìîé äëÿ ñîçäàíèÿ ÎÅÑ ïîñëóæèëà Ðàñøè-
ðÿþùàÿñÿ Ñèñòåìà Ïðîãðàììèðîâàíèÿ ÒÅÐÅÌ (ÐÑÏ ÒÅÐÅÌ) [8] — èíñòðóìåíò
äëÿ ðàçðàáîòêè ÿçûêîâûõ ïðîöåññîðîâ. Â ðàçä. 3 ïðèìåíåíèå ïðåäëîæåííîé ìå-
òîäèêè è èñïîëüçîâàíèå ÿçûêîâîé ñèñòåìû ïðîèëëþñòðèðîâàíû íà ïðèìåðå ðàç-
ðàáîòêè ôîðìàëüíîé ñïåöèôèêàöèè êîôå-àâòîìàòà.
1. ÌÅÒÎÄÈÊÀ ÏÎÑÒÐÎÅÍÈß ÔÓÍÊÖÈÎÍÀËÜÍÛÕ ÑÏÅÖÈÔÈÊÀÖÈÉ ÍÀ Åß
Ñîçäàíèå ôîðìàëüíîé (ôîðìàëèçîâàííîé) ñïåöèôèêàöèè ïðåäëàãàåòñÿ îñóùå-
ñòâëÿòü â íåñêîëüêî ýòàïîâ:
— ïîñòðîåíèå ìîäåëåé ðàçðàáàòûâàåìîãî óñòðîéñòâà èëè ñèñòåìû (äàëåå
îáúåêòà) íà åñòåñòâåííîì ÿçûêå (Åß-ìîäåëåé);
— ôîðìèðîâàíèå ñëîâàðÿ ðàáî÷åé ëåêñèêè;
— ïîñòðîåíèå ìîäåëè ïîâåäåíèÿ îáúåêòà íà Åß, îãðàíè÷åííîì èñïîëüçîâà-
íèåì ðàáî÷åé ëåêñèêè;
— ïðåîáðàçîâàíèå ïîëó÷åííîé ìîäåëè ïîâåäåíèÿ â ìîäåëü íà ôîðìàëüíîì
ÿçûêå.
1.1. Ïîñòðîåíèå Åß-ìîäåëåé îáúåêòà. Ïðåäïîëàãàåòñÿ, ÷òî ðàçðàáîò÷èê
ÔÑ íà÷èíàåò ðàáîòó, çíàÿ, êàêîé îáúåêò (êëàññ îáúåêòîâ) ðàçðàáàòûâàåòñÿ è
â êàêèõ öåëÿõ, à òàêæå ÷ò� èçâåñòíî î õàðàêòåðèñòèêàõ äàííîãî îáúåêòà (êëàññà
îáúåêòîâ). Çàäà÷à ðàçðàáîò÷èêà — ñîçäàòü ôîðìàëüíóþ ñïåöèôèêàöèþ îáúåêòà,
ò.å. òàêîå åãî ôîðìàëüíîå îïèñàíèå, êîòîðîå ìîæíî ïîäâåðãíóòü ïðîâåðêå ôîð-
ìàëüíûìè ìåòîäàìè, ÷òîáû âûÿñíèòü, áóäåò ëè èìåòü îáúåêò, ñîîòâåòñòâóþùèé
ýòîìó îïèñàíèþ, íåêîòîðûå òðåáóåìûå ñâîéñòâà, à òàêæå ïðîâåðèòü, áóäåò ëè
èìåòü ýòîò îáúåêò íåæåëàòåëüíûå ñâîéñòâà (èç íåêîòîðîãî ñïèñêà).
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 27
Ðàçðàáîòêà ñïåöèôèêàöèè íà÷èíàåòñÿ ñ ïîñòðîåíèÿ ðÿäà ìîäåëåé îáúåêòà:
ôóíêöèîíàëüíîé, ñòðóêòóðíîé, èíôîðìàöèîííîé. Ýòè ìîäåëè ìîãóò áûòü ïî-
ñòðîåíû ïîøàãîâîé äåòàëèçàöèåé.
Ôóíêöèîíàëüíàÿ ìîäåëü äåòàëèçèðóåò îïèñàíèå ôóíêöèè îáúåêòà. Äëÿ
âûïîëíåíèÿ ýòîé ôóíêöèè ìîãóò ïîíàäîáèòüñÿ âñïîìîãàòåëüíûå ñðåäñòâà. Èõ
ñîñòàâ è ôóíêöèîíàëüíûå âîçìîæíîñòè îïðåäåëÿþòñÿ ïðè ïîñòðîåíèè ôóíêöèî-
íàëüíîé ìîäåëè. Ïîñëåäíÿÿ òàêæå çàäàåò ñïîñîá ñâÿçè îáúåêòà ñî ñðåäîé åãî
ôóíêöèîíèðîâàíèÿ, êðîìå òîãî, îíà ìîæåò ñîäåðæàòü ôóíêöèîíàëüíûå îãðàíè-
÷åíèÿ, ò.å. ïåðå÷åíü äåéñòâèé, êîòîðûå îáúåêò íå âûïîëíÿåò.
Ñòðóêòóðíàÿ ìîäåëü îïðåäåëÿåò äåêîìïîçèöèþ îáúåêòà íà âçàèìîäåéñòâó-
þùèå êîìïîíåíòû (íàçûâàåìûå òàêæå àãåíòàìè).  îáùåì ñëó÷àå òàêàÿ äåêîì-
ïîçèöèÿ ÿâëÿåòñÿ èåðàðõè÷åñêîé, ïîñêîëüêó íåêîòîðûå êîìïîíåíòû âåðõíåãî
óðîâíÿ ìîãóò áûòü ïðåäñòàâëåíû êàê êîìïîçèöèÿ êîìïîíåíòîâ áîëåå íèçêîãî
óðîâíÿ. (Âîïðîñ î ñòåïåíè ïîäðîáíîñòè îïèñàíèÿ îáúåêòà âûõîäèò çà ðàìêè
äàííîé ñòàòüè è äàëåå íå ðàññìàòðèâàåòñÿ.)
Èíôîðìàöèîííàÿ ìîäåëü îïèñûâàåò èíôîðìàöèîííûå ïîòîêè êàê ìåæäó
îáúåêòîì è ñðåäîé åãî ôóíêöèîíèðîâàíèÿ, ìåæäó îòäåëüíûìè åãî êîìïîíåíòà-
ìè, òàê è âíóòðè ýòèõ êîìïîíåíòîâ. Ïåðåäàâàåìàÿ èíôîðìàöèÿ ìîæåò ïðåäñòàâ-
ëÿòüñÿ â âèäå ñîîáùåíèé òåõ èëè èíûõ ôîðìàòîâ, è â ýòîì ñëó÷àå îñíîâíîé öèêë
åå îáðàáîòêè ñîñòîèò â òîì, ÷òî êàæäûé àãåíò âîñïðèíèìàåò ñîîáùåíèå, îáðàáà-
òûâàåò åãî è, âîçìîæíî, ôîðìèðóåò íîâîå ñîîáùåíèå êàê ðåàêöèþ íà ïðèíÿòîå.
Íà ýòàïå ðàçðàáîòêè ýòîé ìîäåëè îïðåäåëÿþòñÿ ñòðóêòóðû äàííûõ (òàê íàçûâàå-
ìûå àòðèáóòû îáúåêòà), ñ ïîìîùüþ êîòîðûõ îñóùåñòâëÿþòñÿ òàêèå èíôîðìàöè-
îííûå ñâÿçè. Ïîñòðîåíèå èíôîðìàöèîííîé ìîäåëè îáúåêòà — âàæíûé øàã íà
ïóòè ñîçäàíèÿ ôîðìàëüíîé ñïåöèôèêàöèè îáúåêòà.
1.2. Ôîðìèðîâàíèå ñëîâàðÿ ðàáî÷åé ëåêñèêè. Ââåäåíèå àòðèáóòîâ (ïðè
ïîñòðîåíèè èíôîðìàöèîííîé ìîäåëè îáúåêòà) ñîïðîâîæäàåòñÿ ïîÿñíåíèåì èõ
ñìûñëà, êîòîðîå ó÷èòûâàåòñÿ ïðè ñîçäàíèè ìîäåëè ïîâåäåíèÿ îáúåêòà. Ïîÿñíå-
íèå ñìûñëà àòðèáóòà èìååò ñëåäóþùèé âèä:
<èìÿ àòðèáóòà>=<çíà÷åíèå àòðèáóòà> îçíà÷àåò, ÷òî <ôðàçà-ïîÿñíåíèå>
èëè
<çíà÷åíèå àòðèáóòà ïåðå÷èñëèìîãî òèïà> îçíà÷àåò, ÷òî <ôðàçà-ïîÿñíåíèå >
èëè
<èìÿ àòðèáóòà> — <ôðàçà-ïîÿñíåíèå>.
Ôðàçû-ïîÿñíåíèÿ äàëåå áóäåì íàçûâàòü êëèøå, à èõ ñîâîêóïíîñòü ðàññìàò-
ðèâàòü êàê ðàáî÷èé ëåêñèêîí.
Ïóñòü, íàïðèìåð, ïðè ðàçðàáîòêå èíôîðìàöèîííîé ìîäåëè íåêîòîðîãî ïðî-
åêòèðóåìîãî óñòðîéñòâà ââîäèòñÿ àòðèáóò áóëåâîãî èëè ïåðå÷èñëèìîãî òèïà ñ
èìåíåì F , êîòîðûé õàðàêòåðèçóåò ãîòîâíîñòü óñòðîéñòâà ê ðàáîòå. Íàçíà÷åíèå è
ñìûñë ýòîãî àòðèáóòà ïîÿñíÿåòñÿ ñëåäóþùèì îáðàçîì:
F �1 îçíà÷àåò, ÷òî óñòðîéñòâî âêëþ÷åíî, èñïðàâíî è ãîòîâî ê ðàáîòå;
F � 0 îçíà÷àåò, ÷òî óñòðîéñòâî âûøëî èç ñòðîÿ.
 ðåçóëüòàòå ñîçäàþòñÿ òàêèå êëèøå: «óñòðîéñòâî âêëþ÷åíî, èñïðàâíî è ãî-
òîâî ê ðàáîòå» è «óñòðîéñòâî âûøëî èç ñòðîÿ». Â ðàçä. 3 äàííîé ðàáîòû îáðàçî-
âàíèå êëèøå è èõ ðîëü â ïîñòðîåíèè ôîðìàëüíûõ ÔÑ ïðîèëëþñòðèðîâàíû áîëåå
ïîäðîáíî.
1.3. Ïîñòðîåíèå ìîäåëè ïîâåäåíèÿ îáúåêòà íà Åß, îãðàíè÷åííîì èñ-
ïîëüçîâàíèåì ðàáî÷åé ëåêñèêè. Íà îñíîâå ïîñòðîåííûõ Åß-ìîäåëåé îáúåêòà
çàïèñûâàåì òðåáîâàíèÿ ê åãî ôóíêöèîíèðîâàíèþ. Ïðè ýòîì ðàçëè÷àåì òðåáîâà-
28 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
íèÿ ãëîáàëüíîãî è ëîêàëüíîãî õàðàêòåðà. Ïîä òðåáîâàíèåì ãëîáàëüíîãî õàðàêòå-
ðà ïîíèìàåì ñâîéñòâî, êîòîðîå íå äîëæíî íàðóøàòüñÿ íà ïðîòÿæåíèè âñåãî
ôóíêöèîíèðîâàíèÿ. Ïîä òðåáîâàíèåì ëîêàëüíîãî õàðàêòåðà ïîíèìàåì òàê íàçû-
âàåìîå ïîâåäåí÷åñêîå ñâîéñòâî (ïðàâèëî ïåðåõîäà èç ñîñòîÿíèÿ â ñîñòîÿíèå). Òà-
êèå òðåáîâàíèÿ îïèñûâàþòñÿ â âèäå ÔÑ, ïîñòðîåííûõ ñ ïîìîùüþ ôðàç-êëèøå èç
ðàáî÷åãî ëåêñèêîíà. Ñîâîêóïíîñòü ÔÑ ñîñòàâëÿåò ìîäåëü ïîâåäåíèÿ îáúåêòà.
1.4. Ôîðìàëèçàöèÿ ïîëó÷åííîé ìîäåëè ïîâåäåíèÿ. Ýòîò øàã îñóùåñòâëÿ-
åòñÿ ñ ïîìîùüþ èíòåðàêòèâíîé ÿçûêîâîé ñèñòåìû ÎÅÑ.
2. ßÇÛÊÎÂÀß ÑÈÑÒÅÌÀ ÎÅÑ
Îñíîâíàÿ ôóíêöèÿ ÿçûêîâîé ñèñòåìû ÎÅÑ — ïðåîáðàçîâàíèå ÔÑ íà Åß
â ÔÑ íà âûõîäíîì (ïîëóôîðìàëüíîì) ÿçûêå.
Âõîäíîé òåêñò äëÿ ÎÅÑ ïðåäñòàâëÿåò ñîáîé ñîâîêóïíîñòü ÔÑ íà Åß (ìîäåëü
ïîâåäåíèÿ îáúåêòà) è ÿâëÿåòñÿ ñîâîêóïíîñòüþ òðåáîâàíèé (ê îáúåêòó), îôîð-
ìëåííûõ â âèäå îòäåëüíûõ àáçàöåâ. Âûõîäíîé òåêñò — ïîñëåäîâàòåëüíîñòü ïðå-
îáðàçîâàííûõ òðåáîâàíèé, êàæäîå èç êîòîðûõ ñîñòîèò èç îäíîãî èëè íåñêîëüêèõ
ïðåäëîæåíèé, ñîîòâåòñòâóþùèõ ñëåäóþùåìó ïðîñòîìó ñèíòàêñèñó:
Phrase ::= C ----> A.
C ::= Cond | Cond & C
A ::= EA | EA; A
Ñîäåðæàòåëüíî òàêîå ïðåäëîæåíèå îïèñûâàåò âîçìîæíóþ ðåàêöèþ À ñïåöè-
ôèöèðóåìîé ñèñòåìû â ñîñòîÿíèè, óäîâëåòâîðÿþùåì óñëîâèþ Ñ. Çäåñü Cond —
ýëåìåíòàðíàÿ ôîðìóëà (ëîãèêè ïåðâîãî ïîðÿäêà), ïðè÷åì, åñëè ïðåäèêàòíûì
ñèìâîëîì ÿâëÿåòñÿ «=» (ðàâåíñòâî), èñïîëüçóåòñÿ èíôèêñíàÿ ôîðìà çàïèñè;
EA — ïðèñâàèâàíèå, èëè ýëåìåíòàðíàÿ ôîðìóëà, èëè Åß-ôðàçà (ïðè÷èíû ïîÿâ-
ëåíèÿ Åß-ôðàç â âûõîäíîì òåêñòå áóäóò îïèñàíû íèæå).
ßçûêîâàÿ ñèñòåìà ÎÅÑ ïðåäñòàâëÿåò ñîáîé:
— ÿçûêîâîé ïðîöåññîð, ïîñòðîåííûé íà îñíîâå ÐÑÏ ÒÅÐÅÌ;
— ñîâîêóïíîñòü ãðàììàòèê;
— ñîâîêóïíîñòü ñëîâàðåé êëþ÷åâûõ ñëîâ.
Ïîä ÿçûêîâûì ïðîöåññîðîì ïîíèìàåòñÿ ïðîãðàììà ïðåîáðàçîâàíèÿ òåêñòà
íà îäíîì ÿçûêå (âõîäíîì), â òåêñò íà òîì æå èëè äðóãîì ÿçûêå (âûõîäíîì).
Íàñòðîéêà ÿçûêîâîãî ïðîöåññîðà íà âõîäíîé ÿçûê îñóùåñòâëÿåòñÿ çàäàíèåì
âõîäíûõ ïàðàìåòðîâ, íàñòðîéêà åãî íà âûõîäíîé ÿçûê îñóùåñòâëÿåòñÿ ñ ïî-
ìîùüþ çàäàíèÿ òàê íàçûâàåìûõ ñåìàíòè÷åñêèõ äåéñòâèé, êîòîðûå ñâÿçûâàþòñÿ
ñ êîíñòðóêöèÿìè âõîäíîãî ÿçûêà. Ñ ïîìîùüþ ñåìàíòè÷åñêèõ äåéñòâèé òàêæå çà-
äàåòñÿ ôîðìà ïðåäñòàâëåíèÿ âûõîäíîãî òåêñòà.
2.1. Êðàòêèå ñâåäåíèÿ î ÐÑÏ ÒÅÐÅÌ. Äàííàÿ ñèñòåìà ïðåäíàçíà÷åíà äëÿ
ðàçðàáîòêè ãèáêèõ ÿçûêîâûõ ïðîöåññîðîâ. Îíà óñïåøíî ïðèìåíÿëàñü äëÿ îáðà-
áîòêè ÿçûêîâ ïðîãðàììèðîâàíèÿ, ôîðìàëèçîâàííûõ ïîäìíîæåñòâ Åß äåëîâîãî
îáùåíèÿ [9, 10]. Ñèñòåìà ðåàëèçîâàíà â ÿçûêå Ñè.
 îñíîâå ïðèìåíåíèÿ ÐÑÏ ÒÅÐÅÌ ëåæèò ìåòàÿçûê LD äëÿ îïèñàíèÿ ñïåöè-
ôèêàöèé ÿçûêîâûõ ïðîöåññîðîâ, îñíîâàííûõ íà îïðåäåëåíèè ñèíòàêñèñà âõîä-
íûõ ÿçûêîâ â âèäå êîíòåêñòíî-ñâîáîäíûõ ãðàììàòèê, îïèñûâàåìûõ ÿçûêîì ÁÍÔ
(Áýêóñîâî-Íàóðîâñêèõ Ôîðì), à òàêæå ñâÿçåé ñèíòàêñè÷åñêèõ ýëåìåíòîâ ñ ñåìàí-
òè÷åñêèìè äåéñòâèÿìè (ïðîãðàììàìè) ïî îáðàáîòêå âõîäíûõ òåêñòîâ.
 ÐÑÏ ÒÅÐÅÌ èñïîëüçóåòñÿ àëãîðèòìè÷åñêèé ïîäõîä ê îïðåäåëåíèþ ñå-
ìàíòèêè íà îñíîâå àïïàðàòà íàñëåäóþùèõ è ñèíòåçèðóþùèõ äåéñòâèé, ðåàëèçó-
þùèõ àëãîðèòì ïåðåâîäà ôðàç, âûâîäèìûõ èç íåòåðìèíàëîâ ãðàììàòèêè. Êðîìå
ñåìàíòè÷åñêèõ äåéñòâèé, ìíîæåñòâî ñåìàíòè÷åñêèõ îáúåêòîâ âêëþ÷àåò òàêæå
øàáëîíû âûõîäíîãî êîäà.
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 29
Ñâÿçü ñåìàíòè÷åñêèõ äåéñòâèé ñ ñîîòâåòñòâóþùèìè ñèíòàêñè÷åñêèìè ýëå-
ìåíòàìè îñóùåñòâëÿåòñÿ ñ ïîìîùüþ ñïåöèàëüíûõ îáîçíà÷åíèé ñåìàíòè÷åñêèõ
îáúåêòîâ (äåéñòâèé è èõ ïàðàìåòðîâ), ðàñïîëàãàåìûõ íåïîñðåäñòâåííî ïîñëå ñî-
îòâåòñòâóþùåãî ýëåìåíòà â ÁÍÔ-òåêñòå âõîäíîé ãðàììàòèêè. Ñ îäíèì è òåì æå
âõîæäåíèåì ñèíòàêñè÷åñêîãî ýëåìåíòà ìîæíî ñâÿçûâàòü íåñêîëüêî îáîçíà÷åíèé
ñåìàíòè÷åñêèõ äåéñòâèé.
Ñåìàíòè÷åñêèå äåéñòâèÿ äåëÿòñÿ íà äâà êëàññà: íàñëåäóþùèå äåéñòâèÿ ïî
âû÷èñëåíèþ íàñëåäóþùèõ àòðèáóòîâ è ñèíòåçèðóþùèå äåéñòâèÿ ïî
âû÷èñëåíèþ ñèíòåçèðóåìûõ àòðèáóòîâ.
Íàñëåäóþùèå äåéñòâèÿ îòëè÷àþòñÿ îò ñèíòåçèðóþùèõ âðåìåíåì èõ âûïîë-
íåíèÿ: ïåðâûå îñóùåñòâëÿþòñÿ ïðè äâèæåíèè ïî äåðåâó ñâåðõó âíèç, à âòîðûå —
ïðè äâèæåíèè ñíèçó ââåðõ. Â ëèñòüÿõ äåðåâà âûïîëíÿþòñÿ âñå äåéñòâèÿ â òîì
ïîðÿäêå, â êîòîðîì îíè íàãðóæåíû.
Êàæäîå ñåìàíòè÷åñêîå äåéñòâèå âûðàáàòûâàåò ðåçóëüòàòû, èñïîëüçóÿ äàí-
íûå, êîòîðûìè ìîãóò áûòü:
— êîíñòðóêöèè, îáåñïå÷èâàåìûå ñèíòàêñè÷åñêîé ïîäñèñòåìîé ñèñòåìû
ÒÅÐÅÌ (äåðåâî àíàëèçà, âõîäíàÿ ñòðîêà, ñèíòàêñè÷åñêèå òàáëèöû);
— ðåçóëüòàòû ðàíåå âûïîëíåííûõ äåéñòâèé;
— òåêñòû èç øàáëîíîâ.
Ïðèíöèï ôóíêöèîíèðîâàíèÿ ñèñòåìû ÒÅÐÅÌ îñíîâàí íà âçàèìîäåéñòâèè
ñèíòàêñè÷åñêîé è ñåìàíòè÷åñêîé ïîäñèñòåì ÷åðåç ïðîìåæóòî÷íóþ ôîðìó âõîä-
íîé ïðîãðàììû, à èìåííî äåðåâî àíàëèçà, ñâÿçûâàþùåå ôðàçû âõîäíîãî òåêñòà
ñ îáðàáàòûâàþùèìè èõ ñåìàíòè÷åñêèìè ïðîöåäóðàìè, îáîçíà÷åíèÿìè êîòîðûõ
äåêîðèðîâàíû ñèíòàêñè÷åñêèå ýëåìåíòû, ñîîòâåòñòâóþùèå âõîäíûì ôðàçàì.
Ñèñòåìà ÒÅÐÅÌ ôóíêöèîíèðóåò â âèäå äâóõ àâòîíîìíî èñïîëíÿåìûõ ìîäó-
ëåé: Êîíñòðóêòîðà è Àíàëèçàòîðà. Îíà âêëþ÷àåò îòêðûòûé íàáîð íàèáîëåå ÷àñòî
èñïîëüçóåìûõ óíèâåðñàëüíûõ ñåìàíòè÷åñêèõ ìîäóëåé äëÿ ôîðìèðîâàíèÿ
ñåìàíòè÷åñêèõ ïîäñèñòåì.
Îáðàáîòêà âõîäíîãî òåêñòà îñóùåñòâëÿåòñÿ ïî ëåêñåìàì, êîòîðûå ñ÷èòûâà-
þòñÿ èç âõîäíîãî òåêñòà ñïåöèàëüíîé ïðîãðàììîé Ñêàíåð.
Èòàê, äëÿ ðåàëèçàöèè ÿçûêîâîãî ïðîöåññîðà ñ ïîìîùüþ ñèñòåìû ÒÅÐÅÌ íå-
îáõîäèìî âûïîëíåíèå ñëåäóþùèõ äåéñòâèé:
— îïèñàíèå ñèíòàêñèñà âõîäíîãî ÿçûêà â ÿçûêå LD ìîäèôèöèðîâàííûõ Áý-
êóñîâî-Íàóðîâñêèõ ôîðì, ïðè ýòîì ãðàììàòèêà ðåàëèçóåìîãî ÿçûêà äîëæíà ñî-
ãëàñîâûâàòüñÿ ñ îïðåäåëåíèåì ñåìàíòèêè, îñíîâíîé ïðèíöèï êîòîðîãî ñîñòîèò
â ðàñïðåäåëåíèè ôóíêöèè ïåðåâîäà ïî ñèíòàêñè÷åñêèì ýëåìåíòàì ãðàììàòèêè;
— ðàñøèðåíèå ïðîãðàììû Ñêàíåð ÷òåíèåì èç âõîäíîé ñòðîêè òèïîâ äàí-
íûõ, êîòîðûå íå ñîäåðæàòñÿ â ÐÑÏ ÒÅÐÅÌ;
— îïðåäåëåíèå ñåìàíòèêè âõîäíîãî ÿçûêà â âèäå ñèñòåìû ñåìàíòè÷åñêèõ
ïðîãðàìì è øàáëîíîâ;
— îïèñàíèå ñïåöèôèêàöèè âõîäíîãî ÿçûêà â âèäå ÁÍÔ-ãðàììàòèêè, íàãðó-
æåííîé èìåíàìè ñåìàíòè÷åñêèõ äåéñòâèé è øàáëîíàìè;
— ïðèìåíåíèå Êîíñòðóêòîðà ê ñïåöèôèêàöèè âõîäíîãî ÿçûêà äëÿ ïîëó÷å-
íèÿ Ñèíòàêñè÷åñêèõ òàáëèö (ïðåäïîëàãàåòñÿ, ÷òî Êîíñòðóêòîð, ðàáîòàþùèé àâ-
òîíîìíî, íå ïîäëåæèò ìîäèôèêàöèè â ñâÿçè ñ ðåàëèçàöèåé íîâîãî ÿçûêà âñëå-
äñòâèå òîãî, ÷òî åãî âõîäíîé ÿçûê LD ôèêñèðîâàí);
— ñáîðêà ÿçûêîâîãî ïðîöåññîðà;
— çàäàíèå ïàðàìåòðîâ ïðîöåññîðà.
Âñå ïåðå÷èñëåííûå îïåðàöèè âûïîëíÿþòñÿ öèêëè÷åñêè ïî ìåðå íàðàùèâà-
íèÿ âîçìîæíîñòåé ðåàëèçóåìîãî ïðîöåññîðà.
30 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
2.2. ßçûêîâîé ïðîöåññîð ñèñòåìû ÎÅÑ. Âõîäíûìè äàííûìè ÿçûêîâîãî
ïðîöåññîðà ñèñòåìû ÎÅÑ ÿâëÿþòñÿ: òåêñò íà âõîäíîì ÿçûêå, ñïåöèàëüíàÿ òàáëè-
öà äëÿ ñèíòàêñè÷åñêîãî àíàëèçà âõîäíîãî òåêñòà è ñëîâàðü êëþ÷åâûõ ñëîâ. Òàá-
ëèöà ñòðîèòñÿ ïî ãðàììàòèêå âõîäíîãî ÿçûêà ñðåäñòâàìè ÐÑÏ ÒÅÐÅÌ. Çàäàâàÿ
ñëîâàðü êëþ÷åâûõ ñëîâ, ìîæíî íàñòðîèòü ÿçûêîâîé ïðîöåññîð íà îáðàáîòêó
âõîäíîãî òåêñòà, íàïèñàííîãî íà òîì èëè èíîì ÿçûêå (åñòåñòâåííîì èëè ôîð-
ìàëüíîì). Â ýêñïåðèìåíòàõ ñ ÎÅÑ èñïîëüçîâàëèñü òåêñòû òðåáîâàíèé íà ðóñ-
ñêîì, óêðàèíñêîì è àíãëèéñêîì ÿçûêàõ.
2.3. Ñëîâàðè êëþ÷åâûõ ñëîâ. Ñëîâàðü ïðåäñòàâëÿåò ñîáîé ìíîæåñòâî ñëîâ
è ôðàç âõîäíîãî ÿçûêà, âûáðàííûõ â êà÷åñòâå êëþ÷åâûõ, ðàçáèòîå íà ðàçäåëû.
Ñîâîêóïíîñòü ñëîâ è ôðàç îäíîãî ðàçäåëà îáðàçóåò îòäåëüíîå ïîíÿòèå (íàïðè-
ìåð, «ãëàãîë», «òèï îáúåêòà», «ñëóæåáíîå ñëîâî» è äð.). Ñëîâàðü îòêðûò äëÿ ïî-
ïîëíåíèÿ êàê íîâûìè ñëîâàìè, òàê è ðàçäåëàìè.
2.4. Ãðàììàòèêè è óðîâíè îáðàáîòêè âõîäíîãî òåêñòà â ñèñòåìå ÎÅÑ.
Îáðàáîòêà âõîäíîãî òåêñòà â ÎÅÑ ìíîãîóðîâíåâàÿ. Ïåðâûé óðîâåíü — ïðåäâà-
ðèòåëüíàÿ îáðàáîòêà òåêñòà, âòîðîé óðîâåíü — ïîëó÷åíèå òåêñòà íà âûõîäíîì
ÿçûêå. Ïðîìåæóòî÷íûå ðåçóëüòàòû äîñòóïíû äëÿ ïðîñìîòðà è ðåäàêòèðîâàíèÿ.
Ïåðâûé óðîâåíü îáðàáîòêè òåêñòà îáåñïå÷èâàåò îïðåäåëåíèå òèïà êàæäî-
ãî ïðåäëîæåíèÿ âõîäíîãî òåêñòà, à òàêæå âûäåëåíèå è, âîçìîæíî, îáðàáîòêó ñî-
ñòàâíûõ ÷àñòåé ïðåäëîæåíèé. Ïðåäâàðèòåëüíàÿ îáðàáîòêà âõîäíîãî òåêñòà ìî-
æåò âêëþ÷àòü îäèí èëè íåñêîëüêî ýòàïîâ. Íà ïåðâîì ýòàïå (ñòðóêòóðèðîâàíèÿ)
îñóùåñòâëÿåòñÿ êàê îïðåäåëåíèå òèïà êàæäîãî ïðåäëîæåíÿ òåêñòà, òàê è ïðåîá-
ðàçîâàíèå ïðåäëîæåíèÿ â çàâèñèìîñòè îò åãî òèïà. Òå ïðåäëîæåíèÿ, äëÿ êîòîðûõ
ýòî âîçìîæíî, ïðåîáðàçóþòñÿ â ôîðìàò ïðåäëîæåíèé âûõîäíîãî ÿçûêà ñèñòåìû
ÎÅÑ. Ïîñëåäóþùèå ýòàïû âûïîëíÿþòñÿ èòåðàòèâíî ÿçûêîâûì ïðîöåññîðîì, íà-
ñòðîåííûì ñ ïîìîùüþ ãðàììàòèêè âûðàâíèâàíèÿ. Íà ýòàïå âûðàâíèâàíèÿ ÿçû-
êîâîé ïðîöåññîð ïðîñìàòðèâàåò òåêñò, ïîëó÷åííûé íà ïðåäûäóùåì ýòàïå, è â çà-
âèñèìîñòè îò òèïà î÷åðåäíîãî ïðåäëîæåíèÿ ëèáî ïîäâåðãàåò åãî ñòðóêòóðèðîâà-
íèþ, ëèáî îñòàâëÿåò áåç èçìåíåíèÿ (ò.å. â òîì âèäå, êîòîðûé äàííîå
ïðåäëîæåíèå ïîëó÷èëî íà ïðåäûäóùåì ýòàïå îáðàáîòêè).
Ðàññìîòðèì ïîäðîáíåå ïåðâûé ýòàï îáðàáîòêè âõîäíîãî òåêñòà. Âûïîëíåíèå
ýòîãî ýòàïà îáåñïå÷èâàåòñÿ íàñòðîéêîé ÿçûêîâîãî ïðîöåññîðà ñ ïîìîùüþ ñïåöè-
àëüíîé ãðàììàòèêè ñòðóêòóðèðîâàíèÿ. Ïðåäëîæåíèÿ âõîäíîãî ÿçûêà äåëÿòñÿ íà
ñòðóêòóðèðóåìûå è íåñòðóêòóðèðóåìûå. Ãðàììàòèêîé îïðåäåëåíû òàêèå òèïû
ïðåäëîæåíèé: ïðèñâàèâàíèÿ, çàìå÷àíèÿ, óñëîâíûå ïðåäëîæåíèÿ (ïîëíûå è íå-
ïîëíûå), îòñûëêè (ïðåäëîæåíèÿ êàæäîãî èç ýòèõ òèïîâ îòíîñÿòñÿ ê ñòðóêòóðèðó-
åìûì), à òàêæå ïðåäïèñàíèÿ (îòíîñÿòñÿ ê íåñòðóêòóðèðóåìûì ïðåäëîæåíèÿì).
Äëÿ ñòðóêòóðèðóåìîãî ïðåäëîæåíèÿ, êðîìå òèïà, îïðåäåëÿåòñÿ òàêæå åãî
ñòðóêòóðà (ðåçóëüòàòû ñòðóêòóðèðîâàíèÿ ïðèâîäÿòñÿ â âûõîäíîì ôàéëå). Òàê,
â íåïîëíûõ óñëîâíûõ ïðåäëîæåíèÿõ âûäåëÿþòñÿ óñëîâèå è òàê íàçûâàåìîå
«äåéñòâèå» (÷àñòü ïðåäëîæåíèÿ, îïèñûâàþùàÿ, ÷òî ïðîèñõîäèò èëè äîëæíî ïðî-
èçîéòè, åñëè óñëîâèå âûïîëíåíî), à â ïîëíûõ óñëîâíûõ ïðåäëîæåíèÿõ, êðîìå
òîãî, âûäåëÿåòñÿ ÷àñòü ïðåäëîæåíèÿ, îïèñûâàþùàÿ, ÷òî ïðîèñõîäèò, åñëè óñëî-
âèå íå âûïîëíåíî.
Íàïðèìåð, ïðåäëîæåíèå (òðåáîâàíèå)
If the in Cause the received Direction message is “Signal failed”, then the CMS shall start
timer T1, otherwise the CMS shall start timer T3.
êëàññèôèöèðóåòñÿ, ñòðóêòóðèðóåòñÿ è ïðåîáðàçóåòñÿ ñëåäóþùèì îáðàçîì:
type: ifotherwise-sentence
condition
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 31
the Cause in the received Direction message is “Signal failed”.
action
the CMS shall start timer T1.
otherwise
action
the CMS shall start timer T3.
Âûäåëåíèå ñòðóêòóðíûõ ÷àñòåé ïðåäëîæåíèÿ îñóùåñòâëÿåòñÿ ñ ïîìîùüþ
êëþ÷åâûõ ñëîâ.
Íåêîòîðûå ïðåäëîæåíèÿ âûõîäíîãî òåêñòà, ïîëó÷åííîãî íà ïåðâîì ýòàïå
îáðàáîòêè, íåîáõîäèìî îáðàáàòûâàòü ïîâòîðíî (âûäåëÿòü ñîñòàâíûå ÷àñòè).
Ðàññìîòðèì, íàïðèìåð, ñëåäóþùåå ïðåäëîæåíèå:
Åñëè ïðèíÿòî ñîîáùåíèå 'âáðîøåí ïîñòîðîííèé ïðåäìåò T' è áîêñ âîçâðàòà ÂÌ íå ïóñò, òî
T ïîïàäàåò â áîêñ âîçâðàòà BM, áîêñ âîçâðàòà ÂÌ íå ïóñò èëè áîêñ âîçâðàòà ÂÌ
ïåðåïîëíåí.
Íà ïåðâîì ýòàïå îáðàáîòêè äàííîå ïðåäëîæåíèå áóäåò êëàññèôèöèðîâàíî,
ñòðóêòóðèðîâàíî è ïðåîáðàçîâàíî â äâà ïðåäëîæåíèÿ (ñîîòâåòñòâóþùèå àëüòåð-
íàòèâíûì äåéñòâèÿì èñõîäíîãî òðåáîâàíèÿ), êîòîðûå çàòåì èòåðàòèâíî îáðà-
áîòàþòñÿ:
type: ifor-sentence
Åñëè ïðèíÿòî ñîîáùåíèå 'âáðîøåí ïîñòîðîííèé ïðåäìåò T' è áîêñ âîçâðàòà ÂÌ íå
ïóñò, òî T ïîïàäàåò â áîêñ âîçâðàòà BM, áîêñ âîçâðàòà ÂÌ íå ïóñò.
Åñëè ïðèíÿòî ñîîáùåíèå 'âáðîøåí ïîñòîðîííèé ïðåäìåò T' è áîêñ âîçâðàòà ÂÌ íå
ïóñò, òî T ïîïàäàåò â áîêñ âîçâðàòà BM, áîêñ âîçâðàòà ÂÌ ïåðåïîëíåí.
Êàæäîå èç ïðåäëîæåíèé äàííîãî âûõîäíîãî òåêñòà ÿâëÿåòñÿ óñëîâíûì,
îäíàêî èõ ñîñòàâëÿþùèå (óñëîâèÿ, «äåéñòâèÿ») íå âûäåëåíû.
×òîáû â ðåçóëüòàòå ïðåäâàðèòåëüíîé îáðàáîòêè âõîäíîãî òåêñòà ïîëó÷èòü
òåêñò, íå ñîäåðæàùèé íåñòðóêòóðèðîâàííûõ ïðåäëîæåíèé, õîòÿ ñðåäñòâàìè ÎÅÑ
èõ ñòðóêòóðèðîâàíèå âîçìîæíî, íóæíà äîïîëíèòåëüíàÿ îáðàáîòêà.
Òàêàÿ äîïîëíèòåëüíàÿ îáðàáîòêà (âûðàâíèâàíèå) âûïîëíÿåòñÿ íà âòîðîì
ýòàïå. Äëÿ ýòîãî ÿçûêîâîé ïðîöåññîð íàñòðàèâàåòñÿ ñ ïîìîùüþ ñïåöèàëüíîé
ãðàììàòèêè âûðàâíèâàíèÿ.
Âòîðîé óðîâåíü îáðàáîòêè òåêñòà îáåñïå÷èâàåòñÿ ÿçûêîâûì ïðîöåññîðîì,
íàñòðîåííûì ñ ïîìîùüþ ãðàììàòèêè «óñëîâèé-äåéñòâèé», êîòîðûé ïðåîáðàçóåò
ïðåäëîæåíèÿ, ïîëó÷åííûå â ðåçóëüòàòå ïðåäâàðèòåëüíîé îáðàáîòêè, â ïðåäëîæå-
íèÿ âûõîäíîãî ÿçûêà ñèñòåìû ÎÅÑ. Îñîáåííîñòüþ ýòîãî óðîâíÿ îáðàáîòêè ÿâëÿ-
åòñÿ èñïîëüçîâàíèå âñïîìîãàòåëüíîé ãðàììàòèêè, äîïîëíÿþùåé ãðàììàòèêó
«óñëîâèé-äåéñòâèé». Ñðåäñòâà ÐÑÏ ÒÅÐÅÌ äàþò âîçìîæíîñòü ñòðîèòü ÿçûêîâîé
ïðîöåññîð, èñïîëüçóþùèé äâå ãðàììàòèêè: îñíîâíóþ è âñïîìîãàòåëüíóþ. Íåêî-
òîðûå íåòåðìèíàëüíûå ñèìâîëû îñíîâíîé ãðàììàòèêè îïðåäåëÿþòñÿ âî âñïîìî-
ãàòåëüíîé. Ïðè òàêîì ïîäõîäå îäíó è òó æå îñíîâíóþ ãðàììàòèêó ìîæíî èñ-
ïîëüçîâàòü ñ ðàçëè÷íûìè âñïîìîãàòåëüíûìè.  äàííîì ñëó÷àå âñïîìîãàòåëüíóþ
ãðàììàòèêó ïðèìåíÿåì äëÿ îïðåäåëåíèÿ ïîíÿòèÿ «êëèøå» (ôðàçû èç ñëîâàðÿ ðà-
áî÷åé ëåêñèêè, ñâÿçàííîé ñ íåêîòîðûì àòðèáóòîì è ïîÿñíÿþùåé åãî ñìûñë).
Èñïîëüçóÿ ýòó ñâÿçü, ìîæíî çàäàâàòü ïðåîáðàçîâàíèÿ ôðàç Åß â âûðàæåíèÿ ôîð-
ìàëüíîãî ÿçûêà.
Ïðèâåäåì ïðèìåð èñïîëüçîâàíèÿ êëèøå. Ïóñòü â èíôîðìàöèîííîé ìîäåëè
íåêîòîðîãî îáúåêòà ââåäåí àòðèáóò ÎÊ ïåðå÷èñëèìîãî òèïà, ñðåäè çíà÷åíèé êî-
òîðîãî åñòü çíà÷åíèå cr, èìåþùåå ñìûñë «êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïî-
ëî÷êå, îêíî âûäà÷è îòêðûòî».
Åñëè ôðàçà-êëèøå «êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îò-
êðûòî», ñâÿçàííàÿ ñî çíà÷åíèåì cr àòðèáóòà OK, âñòðå÷àåòñÿ â òðåáðâàíèè âèäà
32 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
«Åñëè êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, ïðèíÿòî ñîîáùåíèå
'êëèåíò çàáðàë êîôå', òî îêíî âûäà÷è çàêðûâàåòñÿ, òàéìåð wind_timer îòêëþ÷àåòñÿ.»,
òî ýòî îçíà÷àåò, ÷òî âûïîëíÿåòñÿ óñëîâèå ÎÊ = cr, è òîãäà äàííóþ ôðàçó-êëè-
øå èç âõîäíîãî òåêñòà ìîæíî ïðåîáðàçîâàòü ê (ôîðìàëüíîìó) âèäó ÎÊ = cr.
Åñëè ýòà ôðàçà âñòðå÷àåòñÿ â ïðåäëîæåíèè-òðåáîâàíèè âèäà
«Åñëè êëàâèøà CÒÀÍÄÀÐÒ ïîäñâå÷åíà è ïðèíÿòî ñîîáùåíèå 'íàæàòà êëàâèøà ÑÒÀÍÄÀÐÒ',
òî çíà÷åíèå ÍÌ óìåíüøàåòñÿ íà 70, íà òàáëî Tab âûñâå÷èâàåòñÿ íîâîå çíà÷åíèå ÍÌ, êîôå
ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, âêëþ÷àåòñÿ òàéìåð wind_timer,
çíà÷åíèå Sigma óâåëè÷èâàåòñÿ íà 70, çíà÷åíèå Sigma_St óâåëè÷èâàåòñÿ íà 1, êëàâèøà
ÑÒÀÍÄÀÐÒ íå ïîäñâå÷èâàåòñÿ, êëàâèøà ÄÂÎÉÍÎÉ íå ïîäñâå÷èâàåòñÿ.»,
òî ýòî îçíà÷àåò, ÷òî àòðèáóò ïåðå÷èñëèìîãî òèïà ÎÊ ïîëó÷àåò çíà÷åíèå cr,
è òîãäà ðàññìàòðèâàåìóþ ôðàçó-êëèøå ìîæíî ïðåîáðàçîâàòü ê (ôîðìàëüíîìó)
âèäó ÎÊ := cr.
Òàêèì îáðàçîì, ñ ïîìîùüþ ñëîâàðÿ ðàáî÷åé ëåêñèêè ìîæíî îïðåäåëèòü âî
âñïîìîãàòåëüíîé ãðàììàòèêå ïîíÿòèÿ «êëèøå-óñëîâèå» è «êëèøå-äåéñòâèå» è
ñâÿçàòü ñ êàæäîé ôðàçîé-êëèøå ñåìàíòè÷åñêîå äåéñòâèå, êîòîðîå çàäàåò ïðåîáðà-
çîâàíèå ýòîé ôðàçû â ôîðìàëüíîå âûðàæåíèå.  ðåçóëüòàòå ïîëó÷àåòñÿ ãèáêàÿ
ÿçûêîâàÿ ñèñòåìà, íàñòðàèâàåìàÿ íà ïðåäìåòíóþ îáëàñòü.
Îòìåòèì, ÷òî ïðè ïîñòðîåíèè èíôîðìàöèîííîé ìîäåëè îáúåêòà íåêîòîðûå
øàãè åãî ôóíêöèîíèðîâàíèÿ (äåéñòâèÿ) ìîãóò ðàññìàòðèâàòüñÿ êàê ýëåìåíòàð-
íûå (íåäåòàëèçèðóåìûå). Ñ íèìè íå ñâÿçûâàþòñÿ íèêàêèå àòðèáóòû (ýòî òàê íà-
çûâàåìûå íåàòðèáóòèðóåìûå äåéñòâèÿ). Ôðàçû âõîäíîãî òåêñòà, îïèñûâàþùèå
òàêèå äåéñòâèÿ, íå ïðåîáðàçóþòñÿ ê ôîðìàëüíîìó âèäó (â ðåçóëüòàòå â âûõîäíîì
òåêñòå ïîÿâëÿþòñÿ Åß-ôðàçû).
3. ÈÑÏÎËÜÇÎÂÀÍÈß ÌÅÒÎÄÈÊÈ È ßÇÛÊÎÂÎÉ ÑÈÑÒÅÌÛ ÎÅÑ
ÍÀ ÏÐÈÌÅÐÅ ÊÎÔÅ-ÀÂÒÎÌÀÒÀ
Ðàññìîòðèì çàäà÷ó: ñïåöèôèöèðîâàòü àâòîìàò, êîòîðûé ïðîäàåò êîôå (îáû÷-
íóþ ïîðöèþ ëèáî äâîéíóþ), ïðè÷åì ïðåäïîëàãàåòñÿ, ÷òî îáúåìû ïîðöèé è èõ
ñòîèìîñòü èçâåñòíû.  äàííîì ñëó÷àå ïîäëåæàùèé ñïåöèôèöèðîâàíèþ îáúåêò —
êëàññ óñòðîéñòâ (àâòîìàòîâ), à ôóíêöèÿ, êîòîðóþ äîëæåí âûïîëíÿòü êàæäûé
èç íèõ, — ïîðöèîííàÿ ïðîäàæà. Èñõîäÿ èç ýòîé ïîñòàíîâêè, ñòðîèì ôóíêöèî-
íàëüíóþ, ñòðóêòóðíóþ è èíôîðìàöèîííóþ ìîäåëè ÊÀ, à çàòåì — ìîäåëü ïî-
âåäåíèÿ (ñîâîêóïíîñòü ïîâåäåí÷åñêèõ ïðàâèë åãî ôóíêöèîíèðîâàíèÿ).
3.1. Ôóíêöèîíàëüíàÿ ìîäåëü ÊÀ:
3.1.1. Îñíîâíàÿ ôóíêöèÿ ÊÀ è óòî÷íåíèå ïàðàìåòðîâ.
Êîôå-àâòîìàò ïðîäàåò êëèåíòàì ïîðöèè êîôå äâóõ âèäîâ: îáû÷íóþ («ñòàí-
äàðò») çà 70 ñ (öåíòîâ) è äâîéíóþ («äâîéíîé») çà 125 ñ.
3.1.2. Ñïîñîá ñâÿçè ÊÀ ñ êëèåíòîì (ñî ñðåäîé).
Àâòîìàò ïðèíèìàåò îò êëèåíòà ìîíåòû íîìèíàëîì 1 ñ, 5 ñ, 10 ñ, 25 ñ, 50 ñ.
Ãîòîâûé çàêàç (ïîðöèÿ êîôå) ïîÿâëÿåòñÿ â îêîøêå âûäà÷è è êëèåíòó
ïðåäîñòàâëÿåòñÿ îïðåäåëåííîå âðåìÿ, ÷òîáû çàáðàòü åãî, â ïðîòèâíîì ñëó÷àå
çàêàç óòèëèçèðóåòñÿ áåç âîçìîæíîñòè âîçâðàòà äåíåã.
3.1.3. Âñïîìîãàòåëüíûå ôóíêöèè.
Åñëè ñóììà äåíåã, êîòîðûå âáðîñèë êëèåíò, äîñòàòî÷íà äëÿ ïîêóïêè îáû÷-
íîé (äâîéíîé) ïîðöèè êîôå, íà ïàíåëè çàêàçà ïîäñâå÷èâàåòñÿ ñîîòâåòñòâóþùàÿ
êíîïêà, ïîñëå íàæàòèÿ íà êîòîðóþ â îêîøêå âûäà÷è ïîÿâëÿåòñÿ ñòàêàí÷èê ñ çà-
êàçàííûì êîôå.
Äëÿ óäîáñòâà êëèåíòà ñóììà âáðîøåííûõ èì â àâòîìàò äåíåã, à òàêæå èí-
ôîðìàöèÿ î ãîòîâíîñòè àâòîìàòà ê ðàáîòå èëè ïðåäóïðåæäåíèÿ î çàìèíêàõ âû-
ñâå÷èâàþòñÿ íà ñïåöèàëüíîì òàáëî.
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 33
Êëèåíò òàêæå ìîæåò âåðíóòü ñâîè äåíüãè, íå ñäåëàâ çàêàçà.
×òîáû àâòîìàò ìîã âûïîëíÿòü ñâîþ îñíîâíóþ ôóíêöèþ ìíîãîêðàòíî, ïîñëå
êàæäîãî äåéñòâèÿ êëèåíòà âêëþ÷àåòñÿ òàéìåð, ïî êîòîðîìó ÷åðåç îïðåäåëåííîå
âðåìÿ (íà äàííîì ýòàïå íå óòî÷íÿåòñÿ) àâòîìàò ïðèâîäèòñÿ â íà÷àëüíîå ñîñòîÿíèå.
3.1.4. Ôóíêöèîíàëüíûå îãðàíè÷åíèÿ ÊÀ.
Äëÿ ïðîñòîòû ðàññìàòðèâàåì ñëó÷àé, êîãäà àâòîìàò íå äàåò ñäà÷ó, ò.å. ñóììà
âáðîøåííûõ äåíåã äîëæíà áûòü êðàòíîé ñòîèìîñòè äîïóñòèìîé ïîðöèè êîôå
èëè ïðåâûøàòü åå.
Ïðîàíàëèçèðîâàâ ïðèâåäåííóþ ôóíêöèîíàëüíóþ ìîäåëü ÊÀ, âûäåëÿåì ñî-
ñòàâëÿþùèå, íåîáõîäèìûå äëÿ âûïîëíåíèÿ ôóíêöèé, ïåðå÷èñëåííûõ â ôóíêöèî-
íàëüíîé ìîäåëè, è ñîçäàåì ñòðóêòóðíóþ ìîäåëü ÊÀ.
3.2. Ñòðóêòóðíàÿ ìîäåëü ÊÀ. Êîôå-àâòîìàò èìååò äâå ñîñòàâëÿþùèå:
âíåøíþþ («âèäèìóþ») è âíóòðåííþþ («íåâèäèìóþ»).
Âíåøíÿÿ ÷àñòü ñîñòîèò èç:
— òàáëî;
— ïàíåëè çàêàçà;
— ùåëè (ñëîòà) äëÿ âáðàñûâàíèÿ ìîíåò;
— îêîøêà âûäà÷è çàêàçà ñ ïîëî÷êîé, íà êîòîðóþ ïîìåùàåòñÿ ñòàêàí÷èê
ñ êîôå;
— êíîïêè âîçâðàòà ìîíåò;
— áîêñà âîçâðàòà ìîíåò.
Íà òàáëî äëÿ êëèåíòà âûñâå÷èâàþòñÿ ñîîáùåíèÿ: ïðèãëàøåíèå óãîñòèòüñÿ,
ñóììà äåíåã, âáðîøåííûõ êëèåíòîì, ïðåäóïðåæäåíèå î ïåðåïîëíåíèè/íåèñïðàâ-
íîñòè áîêñà âîçâðàòà ìîíåò.
Íà ïàíåëè çàêàçà èìåþòñÿ äâå êíîïêè (êëàâèøè): «ñòàíäàðò» è «äâîéíîé»,
ïðåäíàçíà÷åííûå äëÿ çàêàçà ñîîòâåñòâóþùèõ ïîðöèé êîôå. Êíîïêà ñðàáàòûâàåò
ïðè åå íàæàòèè, åñëè îíà ïîäñâå÷åíà, è îíà ñòàíîâèòñÿ ïîäñâå÷åííîé, åñëè êëè-
åíò âáðîñèë äîñòàòî÷íî äåíåã äëÿ âûïîëíåíèÿ çàêàçà.
Ùåëü (ñëîò) äëÿ âáðàñûâàíèÿ ìîíåò ìîæåò áûòü îòêðûòà èëè çàêðûòà. Êàê
îòìå÷àëîñü ðàíåå, â îòêðûòóþ ùåëü ñëåäóåò áðîñàòü ìîíåòû íîìèíàëîì 1 ñ, 5 ñ,
10 ñ, 25 ñ, 50 ñ.
Îêîøêî âûäà÷è çàêàçà ëèáî îòêðûòî, åñëè çàêàç ãîòîâ è ñòàêàí÷èê ñ êîôå
ñòîèò íà ïîëî÷êå, ëèáî çàêðûòî â îñòàëüíûõ ñëó÷àÿõ. Ïðåäïîëàãàåòñÿ, ÷òî èìååò-
ñÿ ñåíñîð, ðåàãèðóþùèé íà òî, ÷òî ñòàêàí÷èê ñ êîôå çàáèðàþò ñ ïîëî÷êè. Îêîø-
êî òàêæå óïðàâëÿåòñÿ òàéìåðîì.
Êíîïêà âîçâðàòà ìîíåò ìîæåò áûòü íàæàòà èëè íåò, îíà èñïîëüçóåòñÿ êëèåí-
òîì äëÿ âîçâðàòà äåíåã ïðè îòêàçå îò çàêàçà.
Áîêñ âîçâðàòà ìîíåò ïðåäñòàâëÿåò ñîáîé ëîòîê, â êîòîðûé ïîìåùàþòñÿ ìî-
íåòû, âîçâðàùàåìûå êëèåíòó ïðè îòêàçå îò çàêàçà. Áîêñ èìååò îãðàíè÷åííóþ åì-
êîñòü. Ïðåäïîëàãàåòñÿ, ÷òî èìååòñÿ ñåíñîð, ðåàãèðóþùèé íà ïåðåïîëíåíèå áîêñà
âîçâðàòà ìîíåò.
Âíóòðåííÿÿ ÷àñòü êîôå-àâòîìàòà ñîñòîèò èç:
— íàêîïèòåëÿ ìîíåò;
— õðàíèëèùà ìîíåò.
 íàêîïèòåëå íàõîäÿòñÿ ìîíåòû, ïîñòóïèâøèå îò êëèåíòà äëÿ çàêàçà êîôå.
Íàêîïèòåëü ìîíåò ñâÿçàí ñî ñëîòîì äëÿ âáðàñûâàíèÿ ìîíåò, áîêñîì âîçâðàòà ìî-
íåò è ñ õðàíèëèùåì ìîíåò. Åìêîñòü íàêîïèòåëÿ îãðàíè÷åíà. Ïðåäïîëàãàåòñÿ,
÷òî èìååòñÿ ñåíñîð, ðåàãèðóþùèé íà åãî ïåðåïîëíåíèå.
 õðàíèëèùå ìîíåò íàõîäÿòñÿ äåíüãè, óïëà÷åííûå çà êîôå, è äåíüãè, çàáû-
òûå â íàêîïèòåëå (íåâîñòðåáîâàííûå êëèåíòîì â òå÷åíèå íåêîòîðîãî âðåìåíè,
êîíòðîëèðóåìîãî òàéìåðîì). Õðàíèëèùå ìîíåò ñâÿçàíî ñ íàêîïèòåëåì ìîíåò.
34 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
Ïðè âûïîëíåíèè çàêàçà îïðåäåëåííîé ïîðöèè êîôå ñîîòâåòñòâóþùàÿ ñóììà
èç íàêîïèòåëÿ ìîíåò ïîñòóïàåò â õðàíèëèùå ìîíåò.
Ñ ó÷åòîì ïîñòðîåííîé ñòðóêòóðíîé ìîäåëè ÊÀ âíåñåì óòî÷íåíèÿ â åãî
ôóíêöèîíàëüíóþ ìîäåëü, à èìåííî â îïèñàíèå âñïîìîãàòåëüíûõ ôóíêöèé.
Óòî÷íåíèÿ ê ðàçäåëó 3.1.3. ôóíêöèîíàëüíîé ìîäåëè ÊÀ. Åñëè ñóììà äå-
íåã, âáðîøåííûõ êëèåíòîì, êîòîðàÿ âûñâå÷èâàåòñÿ íà òàáëî, äîñòàòî÷íà äëÿ ïî-
êóïêè îáû÷íîé (äâîéíîé) ïîðöèè êîôå, òî ïîäñâå÷èâàåòñÿ ñîîòâåòñòâóþùàÿ
êíîïêà íà ïàíåëè çàêàçà. Êëèåíò ìîæåò íàæàòü íà òàêóþ êíîïêó, è òîãäà â îêîø-
êå âûäà÷è ïîÿâèòñÿ ñòàêàí÷èê ñ çàêàçàííûì êîôå. Åñëè êëèåíò íå ñðàçó îòðåàãè-
ðîâàë íà âûñòàâëåííûé åìó ñòàêàí÷èê, òî (ïîñðåäñòâîì òàéìåðà) ÷åðåç ìèíóòó
åìó ïîäàåòñÿ íàïîìèíàíèå, à åñëè è ïîñëå ýòîãî îí åùå ÷åðåç ìèíóòó íå çàáèðàåò
çàêàçàííîå, òî çàêàç àííóëèðóåòñÿ áåç âîçâðàòà ïîòðà÷åííîé íà íåãî ñóììû.
Êëèåíò òàêæå ìîæåò íàæàòèåì íà êíîïêó âîçâðàòà ìîíåò âåðíóòü âñå âáðî-
øåííûå èì äåíüãè, íå ñäåëàâ çàêàçà, èëè ÷àñòü äåíåã, îñòàâøóþñÿ ïîñëå âûïîë-
íåíèÿ çàêàçà (íàïðèìåð, â ñëó÷àå, åñëè âáðîøåíû äåíüãè äëÿ äâóõ ïîðöèé êîôå,
à çàêàçàíà ëèøü îäíà).
Âíåñåííûå óòî÷íåíèÿ íå ïðèâîäÿò ê óâåëè÷åíèþ ñîñòàâëÿþùèõ ÊÀ, ïîýòî-
ìó íå íóæíî ïåðåñìàòðèâàòü ñòðóêòóðíóþ ìîäåëü. Îäíàêî ýòè óòî÷íåíèÿ íåîá-
õîäèìî ïðèíÿòü âî âíèìàíèå ïðè ðàçðàáîòêå èíôîðìàöèîííîé ìîäåëè.
3.3. Èíôîðìàöèîííàÿ ìîäåëü ÊÀ. Ðàññìàòðèâàåìûé ÊÀ ôóíêöèîíèðóåò
â ñðåäå, îòâåòñòâåííîé çà åãî èñïðàâíîñòü è íàïîëíåíèå ðåñóðñàìè (ýëåêòðè÷åñ-
òâî, âîäà, ïðîäóêòû, ïîñóäà è ò.ä.), êîòîðàÿ ñèãíàëèçèðóåò î åãî èñïðàâíîñòè, íî îò
ñàìîãî ýòîãî ìåõàíèçìà â äàííîì ñëó÷àå àáñòðàãèðóåìñÿ. Äëÿ îïèñàíèÿ ýòîé õàðàê-
òåðèñòèêè ñîñòîÿíèÿ àâòîìàòà ââåäåí àòðèáóò F áóëåâîãî òèïà. Òàêèì îáðàçîì:
F �1 îçíà÷àåò, ÷òî àâòîìàò âêëþ÷åí, èñïðàâåí è ãîòîâ ê ðàáîòå;
F � 0 îçíà÷àåò, ÷òî àâòîìàò âûøåë èç ñòðîÿ.
Äåéñòâèÿ ïîëüçîâàòåëÿ è ðåàêöèè èçíóòðè íåñïåöèôèöèðîâàííîé ÷àñòè àâ-
òîìàòà ìîäåëèðóþòñÿ ñ ïîìîùüþ ñîîáùåíèé, êîòîðûå âîñïðèíèìàåò àâòîìàò.
Äëÿ ýòîãî ââîäèòñÿ àòðèáóò ïåðå÷èñëèìîãî òèïà MES ñî çíà÷åíèÿìè:
1 ñ — â ñëîò âáðîøåíà ìîíåòà 1 öåíò;
5 ñ — â ñëîò âáðîøåíà ìîíåòà 5 öåíòîâ;
10 ñ — â ñëîò âáðîøåíà ìîíåòà 10 öåíòîâ;
25 ñ — â ñëîò âáðîøåíà ìîíåòà 25 öåíòîâ;
50 ñ — â ñëîò âáðîøåíà ìîíåòà 50 öåíòîâ;
anything — â ñëîò âáðîøåíà íåñòàíäàðòíàÿ ìîíåòà èëè ïîñòîðîííèé ïðåä-
ìåò;
standard — êëèåíò çàêàçàë îáû÷íóþ ïîðöèþ êîôå;
double — êëèåíò çàêàçàë äâîéíóþ ïîðöèþ êîôå;
return — êëèåíò ïîòðåáîâàë âîçâðàòèòü ìîíåòû;
SL_over — ñîîáùåíèå îò ñåíñîðà â ÊÀ î ïåðåïîëíåíèè íàêîïèòåëÿ ìîíåò;
box_BM_over — ñîîáùåíèå îò ñåíñîðà â ÊÀ î ïåðåïîëíåíèè áîêñà âîçâðàòà
ìîíåò;
coffee_taken — ñîîáùåíèå îò ñåíñîðà î òîì, ÷òî êëèåíò âçÿë ñòàêàí÷èê
ñ êîôå ñ ïîëî÷êè;
invalid — ñîîáùåíèå íåïîñðåäñòâåííî îò àâòîìàòà, ÷òî îí íå ãîòîâ ê ðàáîòå;
empty — âõîäíûõ ñîîáùåíèé íå èìååòñÿ.
C òàáëî ñâÿçàí àòðèáóò Tab ñèìâîëüíîãî òèïà.
Ñ êíîïêàìè çàêàçà «ñòàíäàðò» è «äâîéíîé» ñâÿçàíû àòðèáóòû OPS è OPD
áóëåâîãî òèïà, îïèñûâàþùèå ñîñòîÿíèÿ êíîïîê: «ïîäñâå÷åíà»–«íå ïîäñâå÷åíà»
(ìîæíî äåëàòü çàêàç èëè íåëüçÿ). Òàêèì îáðàçîì:
OPS = 1 îçíà÷àåò, ÷òî êíîïêà (êëàâèøà) «ñòàíäàðò» ïîäñâå÷åíà;
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 35
OPS = 0 îçíà÷àåò, ÷òî êíîïêà (êëàâèøà) «ñòàíäàðò» íå ïîäñâå÷åíà;
OPD = 1 îçíà÷àåò, ÷òî êíîïêà (êëàâèøà) «äâîéíîé» ïîäñâå÷åíà;
OPD = 0 îçíà÷àåò, ÷òî êíîïêà (êëàâèøà) «äâîéíîé» íå ïîäñâå÷åíà.
Äëÿ îïèñàíèÿ ñîñòîÿíèÿ ñëîòà äëÿ âáðàñûâàíèÿ ìîíåò (ñâîáîäåí–áëîêèðî-
âàí) èñïîëüçóåòñÿ àòðèáóò SL áóëåâîãî òèïà:
SL = 1 îçíà÷àåò, ÷òî ñëîò áëîêèðóåòñÿ (çàêðûò);
SL = 0 îçíà÷àåò, ÷òî ñëîò íå áëîêèðóåòñÿ (îòêðûò).
Îêîøêî âûäà÷è çàêàçà ìîæåò áûòü îòêðûòûì èëè çàêðûòûì, à ïîëî÷êà —
ïóñòîé èëè íåïóñòîé. Äëÿ îïèñàíèÿ ñîñòîÿíèé îêîøêà ñ ïîëî÷êîé ââåäåí àòðè-
áóò ÎÊ ïåðå÷èñëèìîãî òèïà ñî ñëåäóþùèìè çíà÷åíèÿìè:
cr — êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî;
ca — îêíî âûäà÷è çàêðûâàåòñÿ;
cl — îêíî âûäà÷è çàêðûâàåòñÿ è ñòàêàí÷èê ñ êîôå óáèðàåòñÿ ñ ïîëî÷êè.
Äëÿ îïèñàíèÿ ñîñòîÿíèé áîêñà âîçâðàòà ìîíåò ââåäåí àòðèáóò ïåðå÷èñëèìî-
ãî òèïà ÂÌ ñî çíà÷åíèÿìè:
åm — áîêñ âîçâðàòà ïóñò;
ov — áîêñ âîçâðàòà ïåðåïîëíåí;
ne — áîêñ âîçâðàòà íå ïåðåïîëíåí è íå ïóñò.
Ñ íàêîïèòåëåì ìîíåò ñâÿçàíû öåëî÷èñëåííûå àòðèáóòû:
HM — ñóììà äåíåã â íàêîïèòåëå;
Sigma_leaved — òåêóùàÿ ñóììà çàáûòûõ â íàêîïèòåëå äåíåã.
Ñ õðàíèëèùåì ìîíåò ñâÿçàíû òàêèå öåëî÷èñëåííûå àòðèáóòû:
Sigma — òåêóùàÿ ñóììà çàðàáîòàííûõ äåíåã;
Sigma_St — òåêóùåå êîëè÷åñòâî ïðîäàííûõ îáû÷íûõ ïîðöèé;
Sigma_double — òåêóùåå êîëè÷åñòâî ïðîäàííûõ äâîéíûõ ïîðöèé.
Êîíòðîëü âðåìåíè îñóùåñòâëÿåòñÿ äâóìÿ òàéìåðàìè:
wind_timer — êîíòðîëèðóåò èíòåðâàëû âðåìåíè ìåæäó îòêðûâàíèåì îêîøêà
ñî ñòàêàí÷èêîì êîôå, âçÿòèåì ñòàêàí÷èêà êëèåíòîì è çàêðûâàíèåì îêîøêà;
gen_timer — êîíòðîëèðóåò èíòåðâàë âðåìåíè ïîñëå ïîñëåäíåãî âîçäåéñòâèÿ
êëèåíòà íà àâòîìàò, ïîñëå ÷åãî ñáðàñûâàåò çíà÷åíèÿ âñåõ àòðèáóòîâ (êðîìå èñ-
ïîëüçóåìûõ äëÿ ó÷åòà) â íà÷àëüíîå ñîñòîÿíèå.
Ìíîæåñòâî çíà÷åíèé àòðèáóòà MES îïðåäåëÿåò àëôàâèò âõîäíûõ âîçäåéñòâèé,
âûõîäíûå ðåàêöèè àâòîìàòà çàäàþòñÿ çíà÷åíèÿìè àòðèáóòîâ èç íàáîðà (Tab,
OPS, OPD, SL, ÎÊ), êîòîðûå êëèåíò èìååò âîçìîæíîñòü íàáëþäàòü âèçóàëüíî
(íàäïèñè íà òàáëî, ïîäñâåòêà êíîïîê ïàíåëè çàêàçà, ñîñòîÿíèå ñëîòà, ñîñòîÿíèå
îêîøêà âûäà÷è). Ñîñòîÿíèå íåïîñðåäñòâåííî êîôå-àâòîìàòà îïðåäåëÿåòñÿ çíà÷å-
íèÿìè âñåõ ïåðå÷èñëåííûõ àòðèáóòîâ, êðîìå MES è Tab.
Ñëåäóþùèé øàã ïîñòðîåíèÿ ÔÑ â ñîîòâåòñòâèè ñ ïðåäëàãàåìîé ìåòîäè-
êîé — ôîðìèðîâàíèå ñëîâàðÿ ðàáî÷åé ëåêñèêè.
Ðàññìîòðèì èíôîðìàöèîííóþ ìîäåëü ÊÀ. Ïðè îïèñàíèè àòðèáóòîâ ñôîðìè-
ðîâàëèñü ôðàçû-êëèøå, îïèñûâàþùèå ðàçëè÷íûå ñèòóàöèè, âîçíèêàþùèå ïðè
ôóíêöèîíèðîâàíèè ÊÀ, íàïðèìåð, «êíîïêà (êëàâèøà) «ñòàíäàðò» ïîäñâå÷åíà»,
«ñëîò áëîêèðóåòñÿ», «êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îò-
êðûòî», «áîêñ âîçâðàòà ïåðåïîëíåí» è äð. Ñ êàæäîé òàêîé ôðàçîé ñâÿçàí îïðåäå-
ëåííûé àòðèáóò è åãî çíà÷åíèå. Ñîâîêóïíîñòü ýòèõ ôðàç-êëèøå ñîñòàâëÿåò ðàáî-
÷óþ ëåêñèêó, êîòîðàÿ èñïîëüçóåòñÿ ïðè ïîñòðîåíèè ìîäåëè ïîâåäåíèÿ ÊÀ
(ôóíêöèîíàëüíûõ ñïåöèôèêàöèé ÊÀ).
3.4. Ôóíêöèîíàëüíûå ñïåöèôèêàöèè ÊÀ. Ïîñòðîèì ìîäåëü ïîâåäåíèÿ ÊÀ
íà Åß, îãðàíè÷åííîì èñïîëüçîâàíèåì ðàáî÷åé ëåêñèêè. Ýòà ìîäåëü ïðåäñòàâëåíà
â âèäå ñîâîêóïíîñòè ïðàâèë ôóíêöèîíèðîâàíèÿ ÊÀ, ñôîðìóëèðîâàííûõ íà îñíî-
âå Åß-ìîäåëåé ñ èñïîëüçîâàíèåì êëèøå. Ïðàâèëà îôîðìëÿåì îòäåëüíûìè àáçà-
36 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
öàìè, êîòîðûå äëÿ óäîáñòâà ïðîíóìåðîâàíû.
1. Ñòîèìîñòü «ñòàíäàðòà» ðàâíà 70 ñ, ñòîèìîñòü «äâîéíîãî» ðàâíà 125 ñ.
2. Åñëè àâòîìàò âêëþ÷åí è èñïðàâåí, òî íà òàáëî âûñâå÷èâàåòñÿ ëèáî ïðèãëàøåíèå
óãîñòèòüñÿ, ëèáî îòîáðàæàåòñÿ ñóììà HM äåíåã, óæå íàõîäÿùèõñÿ â ïðèåìíèêå (ïðåâûøàþ-
ùàÿ 0 öåíòîâ); ñëîò SL îòêðûò.
3. Åñëè íà òàáëî âûñâå÷èâàåòñÿ ïðèãëàøåíèå óãîñòèòüñÿ, òî ïðåäïîëàãàåòñÿ, ÷òî ñóì-
ìà ÍÌ ìîíåò â ïðèåìíèêå ðàâíà íóëþ.
4. Åñëè ÊÀ âûêëþ÷åí èëè íå èñïðàâåí, òî ñëîò SL çàêðûò è òàáëî îòêëþ÷åíî.
5. Åñëè ïðèíÿòî ñîîáùåíèå 'âáðîøåíà ìîíåòà îäíîãî èç íîìèíàëîâ (1 ñ, 5 ñ, 10 ñ, 25 ñ,
50 ñ)', òî çíà÷åíèå ÍÌ óâåëè÷èâàåòñÿ íà ñîîòâåòñòâóþùóþ âåëè÷èíó, íà òàáëî Tab âûñâå÷è-
âàåòñÿ íîâîå çíà÷åíèå ÍÌ.
6. Åñëè ïðèíÿòî ñîîáùåíèå 'âáðîøåí ïîñòîðîííèé ïðåäìåò T' è áîêñ âîçâðàòà ÂÌ ïóñò,
òî T ïîïàäàåò â áîêñ âîçâðàòà BM è áîêñ âîçâðàòà ÂÌ íå ïóñò. Åñëè ïðèíÿòî ñîîáùåíèå
'âáðîøåí ïîñòîðîííèé ïðåäìåò T' è áîêñ âîçâðàòà ÂÌ íå ïóñò, òî T ïîïàäàåò â áîêñ âîçâðàòà
BM, áîêñ âîçâðàòà ÂÌ íå ïóñò èëè áîêñ âîçâðàòà ÂÌ ïåðåïîëíåí.
7. Åñëè ïðèíÿòî ñîîáùåíèå 'ïåðåïîëíåí áîêñ âîçâðàòà ÂÌ', òî íà òàáëî Tab âûñâå÷èâà-
åòñÿ “Return box overloading”, áîêñ âîçâðàòà ÂÌ ïåðåïîëíåí, ñëîò SL áëîêèðóåòñÿ.
8. Åñëè ñóììà äåíåã ÍÌ íå ìåíåå 70 è êëàâèøà CÒÀÍÄÀÐÒ íå ïîäñâå÷åíà, òî êëàâèøà
CÒÀÍÄÀÐÒ ïîäñâå÷èâàåòñÿ.
9. Åñëè ñóììà äåíåã ÍÌ íå ìåíåå 125 è êëàâèøà ÄÂÎÉÍÎÉ íå ïîäñâå÷åíà, òî êëàâè-
øà CÒÀÍÄÀÐÒ ïîäñâå÷èâàåòñÿ è êëàâèøà ÄÂÎÉÍÎÉ ïîäñâå÷èâàåòñÿ.
10. Åñëè êëàâèøà CÒÀÍÄÀÐÒ ïîäñâå÷åíà è ïðèíÿòî ñîîáùåíèå 'íàæàòà êëàâèøà
ÑÒÀÍÄÀÐÒ', òî çíà÷åíèå ÍÌ óìåíüøàåòñÿ íà 70, íà òàáëî Tab âûñâå÷èâàåòñÿ íîâîå çíà÷å-
íèå ÍÌ, êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, âêëþ÷àåòñÿ òàéìåð
wind_timer, çíà÷åíèå Sigma óâåëè÷èâàåòñÿ íà 70, çíà÷åíèå Sigma_St óâåëè÷èâàåòñÿ íà 1, êëà-
âèøà ÑÒÀÍÄÀÐÒ íå ïîäñâå÷èâàåòñÿ, êëàâèøà ÄÂÎÉÍÎÉ íå ïîäñâå÷èâàåòñÿ.
11. Åñëè êëàâèøà ÄÂÎÉÍÎÉ ïîäñâå÷åíà è ïðèíÿòî ñîîáùåíèå 'íàæàòà êëàâèøà
ÄÂÎÉÍÎÉ', òî çíà÷åíèå ÍÌ óìåíüøàåòñÿ íà 125, íà òàáëî Tab âûñâå÷èâàåòñÿ íîâîå çíà÷å-
íèå ÍÌ, êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, âêëþ÷àåòñÿ òàéìåð
wind_timer, çíà÷åíèå Sigma óâåëè÷èâàåòñÿ íà 125, çíà÷åíèå Sigma_double óâåëè÷èâàåòñÿ
íà 1, êëàâèøà ÑÒÀÍÄÀÐÒ íå ïîäñâå÷èâàåòñÿ, êëàâèøà ÄÂÎÉÍÎÉ íå ïîäñâå÷èâàåòñÿ.
12. Åñëè êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, ïðèíÿòî ñîîá-
ùåíèå 'êëèåíò çàáðàë êîôå', òî îêíî âûäà÷è çàêðûâàåòñÿ, òàéìåð wind_timer îòêëþ÷àåòñÿ.
13. Åñëè êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, òàéìåð
wind_timer âêëþ÷åí â òå÷åíèå 1 ìèí, òî íà òàáëî Tab âûñâå÷èâàåòñÿ “Please, take your
coffee”.
14. Åñëè êîôå ãîòîâ, ñòàêàí÷èê ñ êîôå íà ïîëî÷êå, îêíî âûäà÷è îòêðûòî, òàéìåð
wind_timer âêëþ÷åí â òå÷åíèå 2 ìèí, òî îêíî âûäà÷è çàêðûâàåòñÿ è ñòàêàí÷èê ñ êîôå óáèðà-
åòñÿ ñ ïîëî÷êè, òàéìåð wind_timer îòêëþ÷àåòñÿ.
15. Åñëè ïðèíÿòî ñîîáùåíèå 'ïðèåìíèê ìîíåò ÍÌ ïåðåïîëíåí', òî ñëîò SL áëîêèðóåòñÿ
è íà òàáëî Tab âûñâå÷èâàåòñÿ “Return box is overflown. You may order coffee or take your
money back”.
16. Åñëè òàéìåð gen_timer ñðàáàòûâàåò, òî òàéìåð gen_timer îòêëþ÷àåòñÿ, ñ÷åò çàáûòûõ
äåíåã Sigma_leaved óâåëè÷èâàåòñÿ íà HM, ÍÌ îáíóëÿåòñÿ.
17. Åñëè ïðèíÿòî ñîîáùåíèå 'íàæàòà êíîïêà âîçâðàòà ìîíåò' è áîêñ âîçâðàòà ÂÌ íå ïå-
ðåïîëíåí, òî ìîíåòû èç íàêîïèòåëÿ ìîíåò ïåðåñûëàþòñÿ â áîêñ âîçâðàòà, ÍÌ îáíóëÿåòñÿ,
áîêñ âîçâðàòà ÂÌ íå ïóñò èëè áîêñ âîçâðàòà ÂÌ ïåðåïîëíåí.
18. Åñëè ïðèíÿòî ñîîáùåíèå 'àâòîìàò âûøåë èç ñòðîÿ', òî òàéìåð wind_timer îòêëþ÷à-
åòñÿ è òàéìåð gen_timer îòêëþ÷àåòñÿ, ñëîò SL áëîêèðóåòñÿ.
Ïåðâûå ÷åòûðå ïðàâèëà ãëîáàëüíûå, à îñòàëüíûå ÿâëÿþòñÿ ëîêàëüíûìè.
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 37
3.5. Ôîðìàëèçàöèÿ ôóíêöèîíàëüíûõ ñïåöèôèêàöèé. Ñëåäóþùèé øàã —
ôîðìàëèçàöèÿ ïîëó÷åííîé ìîäåëè ïîâåäåíèÿ. Ðàññìîòðèì ìîäåëü ïîâåäåíèÿ
ÊÀ, îãðàíè÷åííóþ ëîêàëüíûìè ïðàâèëàìè (ò.å. ñîâîêóïíîñòü ðàíåå ïðèâåäåí-
íûõ ïðàâèë, íà÷èíàÿ ñ ïÿòîãî). Ïðèâåäåì ðåçóëüòàò ïðåîáðàçîâàíèÿ ýòîé ìîäåëè,
âûïîëíåííîãî ÿçûêîâûì ïðîöåññîðîì ñèñòåìû ÎÅÑ. Ñîñòàâëÿþùèå îäíî ïðàâè-
ëî (òðåáîâàíèå) ïðåäëîæåíèÿ (ÔÑ) ñãðóïïèðîâàíû. Âìåñòî íóìåðàöèè òðåáîâà-
íèé èñïîëüçóåòñÿ ðàçäåëèòåëü -------------- ìåæäó íèìè.
MES = 1 ----> ÍÌ := ÍÌ + 1 ; Tab := val (ÍÌ + 1).
MES = 5 ----> ÍÌ := ÍÌ + 5 ; Tab := val (ÍÌ + 5).
MES = 10 ----> ÍÌ := ÍÌ + 10 ; Tab := val (ÍÌ +10).
MES = 25 ----> ÍÌ := ÍÌ + 25 ; Tab := val (ÍÌ +25).
MES = 50 ----> ÍÌ := ÍÌ + 50 ; Tab := val (ÍÌ +50).
------------------------
(MES = anything) & (BM = em) ----> T ïîïàäàåò â áîêñ âîçâðàòà BM ; BM := ne.
(MES = anything) & (BM = ne) ----> T ïîïàäàåò â áîêñ âîçâðàòà BM; BM := ne.
(MES = anything) & (BM = ne) ----> T ïîïàäàåò â áîêñ âîçâðàòà BM; BM := ov.
------------------------
(MES = box_BM_over) ----> Tab := “Return box overloading”; BM := ov; SL := 0.
------------------------
(ÍÌ >= 70) & (OPS = 0) ----> OPS := 1.
------------------------
(ÍÌ >= 125) & (OPD = 0) ----> OPS := 1; OPD := 1.
------------------------
(OPS = 1) & (MES = standard) ----> ÍÌ := ÍÌ – 70; Tab := val (ÍÌ – 70);
OK := cr; start(wind_timer); Sigma := Sigma + 70; Sigma_St := Sigma_St +1;
OPS := 0; OPD := 0.
------------------------
(OPD = 1) & (MES = double) ----> ÍÌ := ÍÌ – 125; Tab := val (ÍÌ – 125);
OK := cr; start(wind_timer); Sigma := Sigma +125; Sigma_double :=
Sigma_double +1; OPS := 0; OPD := 0.
------------------------
(OK = cr) & (MES = coffee_taken) ----> OK := ca; stop(wind_timer).
------------------------
(OK = cr) & (wind_timer = 1') ----> Tab := “Please, take your coffee”.
------------------------
(OK = cr) & (wind_timer = 2') ----> OK := cl; stop(wind_timer).
------------------------
(MES = SL_over) —— SL:= 0; Tab := “Return box is overflown. You may order coffee or
take your money back”.
------------------------
expired(gen_timer) ----> stop(gen_timer); Sigma_leaved := Sigma_leaved +HM;
ÍÌ := 0.
------------------------
(MES = return) & (BM = ne) ----> ìîíåòû èç íàêîïèòåëÿ ìîíåò ïåðåñûëàþòñÿ â áîêñ
âîçâðàòà; ÍÌ := 0; BM := ne.
(MES = return) & (BM = ne) ----> ìîíåòû èç íàêîïèòåëÿ ìîíåò ïåðåñûëàþòñÿ â áîêñ
âîçâðàòà; ÍÌ := 0; BM := ov.
------------------------
(MES = invalid) ----> stop(wind_timer); stop(gen_timer); SL := 0.
------------------------ .
Ôðàçû «T ïîïàäàåò â áîêñ âîçâðàòà BM», «ìîíåòû èç íàêîïèòåëÿ ìîíåò ïå-
ðåñûëàþòñÿ â áîêñ âîçâðàòà», âñòðå÷àþùèåñÿ â ïðèâåäåííîé ìîäåëè ïîâåäåíèÿ,
ÿâëÿþòñÿ ïðèìåðàìè îïèñàíèÿ íåàòðèáóòèðóåìûõ äåéñòâèé. Óðîâåíü ïîäðîá-
38 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
íîñòè îïèñàíèÿ äëÿ èçìåíåíèÿ ñîñòîÿíèé áîêñà âîçâðàòà â ïîñòðîåííîé èíôîð-
ìàöèîííîé ìîäåëè ÊÀ îãðàíè÷èâàåòñÿ âûäåëåíèåì òðåõ åãî ñîñòîÿíèé: áîêñ âîç-
âðàòà ïóñò, ïåðåïîëíåí, íå ïåðåïîëíåí è íå ïóñò. Ñîäåðæèìîå áîêñà âîçâðàòà
(à òàêæå äðóãèå åãî âîçìîæíûå õàðàêòåðèñòèêè) â ìîäåëè íå óòî÷íÿþòñÿ. Ïîýòî-
ìó àâòîðû íàñòîÿùåé ñòàòüè ñ÷èòàþò âîçìîæíûì îãðàíè÷èòüñÿ ïðîñòîé
êîíñòàòàöèåé äåéñòâèÿ, êàñàþùåãîñÿ áîêñà âîçâðàòà, è ôèêñàöèåé èçìåíåíèÿ åãî
ñîñòîÿíèÿ.
Ó÷èòûâàÿ îáùèå ñîãëàøåíèÿ, ðàññìàòðèâàåìûå êàê êîíòåêñò ïî îòíîøåíèþ
ê ôóíêöèîíàëüíûì ñïåöèôèêàöèÿì ÊÀ, äîïîëíÿåì ïîëó÷åííûå ÔÑ ñ ïîìîùüþ
èõ ðåäàêòèðîâàíèÿ âðó÷íóþ. Ïðèâåäåì ýòè ñîãëàøåíèÿ:
— ÊÀ âûïîëíÿåò ñâîè ôóíêöèè, åñëè îí èñïðàâåí, ò.å. F �1;
— ïîñëå êàæäîãî ïðèåìà ñîîáùåíèÿ îáëàñòü MES äëÿ èõ õðàíåíèÿ îñâîáîæ-
äàåòñÿ, ò.å. MES := empty;
— òàéìåð gen_timer, ðåàãèðóþùèé íà äåéñòâèÿ êëèåíòà, âêëþ÷àåòñÿ (ïåðå-
óñòàíàâëèâàåòñÿ) âñÿêèé ðàç, êîãäà êëèåíò ñîâåðøàåò êàêîå-ëèáî äåéñòâèå, ò.å.
âûïîëíÿåòñÿ êîìàíäà reset(gen_timer);
— åñëè àâòîìàò íåèñïðàâåí èëè íå èìååòñÿ êàêîãî-ëèáî ðåñóðñà, íåîáõîäè-
ìîãî äëÿ åãî ðàáîòû, òî ýòî îçíà÷àåò, ÷òî àâòîìàò óæå íåôóíêöèîíàëüíûé, ò.å.
F :� 0.
 ðåçóëüòàòå ïîëó÷àåì ìîäåëü ïîâåäåíèÿ ÊÀ, äîïîëíåííóþ ñîãëàñíî îáùèì
ñîãëàøåíèÿì (äîáàâëåíèÿ âûäåëåíû æèðíûì êóðñèâîì).
(F � 1) & MES = 1 ----> HM := HM + 1; Tab := val (HM + 1); MES := empty;
reset(gen_timer).
(F � 1) & MES = 5 ----> HM := HM + 5; Tab := val (HM + 5); MES := empty;
reset(gen_timer).
(F � 1) & MES = 10 ----> HM := HM + 10; Tab := val (HM + 10); MES := empty;
reset(gen_timer).
(F � 1) & MES = 25 ----> HM := HM + 25; Tab := val (HM + 25); MES := empty;
reset(gen_timer).
(F � 1) & MES = 50 ----> HM := HM + 50; Tab := val (HM + 50); MES := empty;
reset(gen_timer).
(F � 1) & (MES = anything) & (BM = em) ----> T ïîïàäàåò â áîêñ âîçâðàòà BM;
BM := ne; MES := empty; reset(gen_timer).
(F � 1) & (MES = anything) & (BM = ne) ----> T ïîïàäàåò â áîêñ âîçâðàòà BM;
BM := ne; MES := empty; reset(gen_timer).
(F � 1) & (MES = anything) & (BM = ne) ----> T ïîïàäàåò â áîêñ âîçâðàòà BM;
BM := ov; MES := empty; reset(gen_timer).
(F � 1) & (MES = box_BM_over) ----> Tab := “Return box overloading”; BM := ov;
SL := 0; MES := empty.
(F � 1) & (HM >= 70) & (OPS = 0) ----> OPS := 1.
(F � 1) & (HM >= 125) & (OPD = 0) ----> OPS := 1; OPD := 1.
(F � 1) & (OPS = 1) & (MES = standard) ----> HM := HM – 70; Tab := val (HM – 70);
OK := cr; start (wind_timer); Sigma := Sigma +70; Sigma_St := Sigma_St +1; OPS := 0;
OPD := 0 ; MES := empty; reset(gen_timer).
(F � 1) & (OPD = 1) & (MES = double) ----> HM := HM – 125; Tab := val (HM – 125);
OK := cr; start (wind_timer); Sigma := Sigma + 125; Sigma_double := Sigma_double +1;
OPS := 0; OPD := 0 ; MES := empty; reset(gen_timer).
(F � 1) & (OK = cr) & (MES = coffee_taken) ----> OK := ca; stop (wind_timer) ;
MES := empty; reset(gen_timer).
(F � 1) & (OK = cr) & (wind_timer = 1') ----> Tab := “Please, take your coffee”.
(F � 1) & (OK = cr) & (wind_timer = 2') ----> OK := cl; stop (wind_timer).
(F=1) & (MES = SL_over) ----> SL := 0; Tab := “Return box is overflown. You may order
coffee or take your money back”; MES := empty.
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 39
(F � 1) & expired (gen_timer) ----> stop (gen_timer); Sigma_leaved := Sigma_leaved + HM;
HM := 0.
(F � 1) & (MES = return) & (BM = ne) ----> ìîíåòû èç íàêîïèòåëÿ ìîíåò ïåðåñûëàþòñÿ
â áîêñ âîçâðàòà; HM := 0; BM := ne ; MES := empty.
(F � 1) & (MES = return) & (BM = ne) ----> ìîíåòû èç íàêîïèòåëÿ ìîíåò ïåðåñûëàþòñÿ
â áîêñ âîçâðàòà; HM := 0; BM := ov ; MES := empty.
(MES = invalid) ----> F := 0; SL := 0; stop (wind_timer); stop (gen_timer) ; MES := empty.
ÇÀÊËÞ×ÅÍÈÅ
 äàííîé ðàáîòå îïèñàíû ñðåäñòâà ðàçðàáîòêè ôîðìàëüíûõ ñïåöèôèêàöèé
ñèñòåì è óñòðîéñòâ, êîòîðûå äàþò âîçìîæíîñòü ïîñòðîèòü ôóíêöèîíàëüíóþ
ñïåöèôèêàöèþ îáúåêòà (ñèñòåìû èëè óñòðîéñòâà) íà åñòåñòâåííîì ÿçûêå, à çà-
òåì îñóùåñòâèòü åå ôîðìàëèçàöèþ. Â ðåçóëüòàòå ïðåäëîæåíû:
— ìåòîäèêà ðàçðàáîòêè ôóíêöèîíàëüíûõ ñïåöèôèêàöèé ñèñòåì è óñòðîéñòâ
íà Åß;
— ÿçûêîâàÿ ñèñòåìà ÎÅÑ, ïîçâîëÿþùàÿ ïðåîáðàçîâàòü Åß-ñïåöèôèêàöèþ
â ôîðìàëüíûé òåêñò.
Íàçíà÷åíèå ìåòîäèêè — ïðåäîñòàâèòü ïëàí ïîñòðîåíèÿ ÔÑ îáúåêòà. Ïðèìå-
íåíèå ïðåäëîæåííîé ìåòîäèêè äàåò âîçìîæíîñòü:
— ðàçðàáàòûâàÿ ÔÑ, îñòàâàòüñÿ â ðàìêàõ Åß;
— ñòðîèòü ÔÑ íà Åß òàêèì îáðàçîì, ÷òîáû îáëåã÷èòü åå ïåðåâîä íà ôîð-
ìàëüíûé ÿçûê.
Îïèñàííàÿ â íàñòîÿùåé ðàáîòå ÿçûêîâàÿ ñèñòåìà ÎÅÑ ÿâëÿåòñÿ èíòåðàêòèâ-
íîé è ýêñïëóàòèðîâàëàñü â ýêñïåðèìåíòàëüíîì ðåæèìå. Îíà ïîçâîëÿåò ïîøàãîâî
ïðåîáðàçîâûâàòü âõîäíîé òåêñò ê ôîðìàëüíîìó âèäó, ïðè ýòîì ïðîìåæóòî÷íûå
ðåçóëüòàòû ïðåîáðàçîâàíèé äîñòóïíû ïîëüçîâàòåëþ. Âõîäíîé òåêñò ìîæåò áûòü
íàïèñàí íà óêðàèíñêîì, ðóññêîì èëè àíãëèéñêîì ÿçûêàõ. Ýêñïåðèìåíòû, ïðîâå-
äåííûå ñ ñèñòåìîé, äàëè âîçìîæíîñòü íàìåòèòü òàêèå íàïðàâëåíèÿ åå óñîâåð-
øåíñòâîâàíèÿ è ðàçâèòèÿ:
— ðàçðàáîòêà è ðåàëèçàöèÿ äðóæåñòâåííîãî èíòåðôåéñà ñ ñèñòåìîé;
— àâòîìàòèçàöèÿ ôîðìèðîâàíèÿ ñëîâàðÿ ðàáî÷åé ëåêñèêè;
— àâòîìàòèçàöèÿ ïîñòðîåíèÿ âñïîìîãàòåëüíîé ãðàììàòèêè ïî ñëîâàðþ ðà-
áî÷åé ëåêñèêè;
— ñîçäàíèå ñðåäñòâ èíòåðôåéñà äëÿ ðàáîòû ñî ñëîâàðÿìè êëþ÷åâûõ ñëîâ.
Ïðåäïîëàãàåìîå ó÷àñòèå ÷åëîâåêà â ñèñòåìå, ò.å. íåïîëíàÿ àâòîìàòèçàöèÿ, ñâÿ-
çàíî êàê ñ íåîäíîçíà÷íîñòüþ, ïðèñóùåé òåêñòàì íà Åß, êîòîðóþ ñëîæíî ôîðìàëè-
çîâàòü, òàê è ñ âûñîêîé öåíîé îøèáêè, ÷òî ìîæåò áûòü âíåñåíà â ôîðìàëüíóþ ìî-
äåëü è çàòåì áûòü âûÿâëÿåìîé íà ýòàïå âåðèôèêàöèè ìîäåëè. Âìåñòå ñ òåì àâòîðû
ïðîäîëæàþò ðàáîòó íàä òåì, êàê ïîâûñèòü ñòåïåíü àâòîìàòè÷åñêîé îáðàáîòêè ñ èñ-
ïîëüçîâàíèåì ïîíÿòèÿ îíòîëîãèé, îðèåíòèðîâàííûõ íà ïðåäìåòíûå îáëàñòè.
Çàäà÷à ôîðìàëèçàöèè ñïåöèôèêàöèé, ïðåäñòàâëåííûõ íà Åß, ìîæåò ðàñ-
ñìàòðèâàòüñÿ è â òàêîé ïîñòàíîâêå: ïðåäâàðèòåëüíî ïåðåôîðìóëèðîâàòü âõîäíîé
Åß-òåêñò òàê, ÷òîáû, èñïîëüçóÿ îãðàíè÷åííûé Åß, ìèíèìèçèðîâàòü êîëè÷åñòâî
óïîòðåáëÿåìûõ â íåì ñëîâ è óïðîñòèòü òåì ñàìûì ïîñëåäóþùèé àíàëèç òåêñòà.
Èíòåðåñíûé îïûò â ýòîì íàïðàâëåíèè áûë ïðîäåìîíñòðèðîâàí â ïîïóëÿðíîé
êíèãå [11], àâòîð êîòîðîé, èñïîëüçóÿ ëèøü 1000 ñëîâ àíãëèéñêîãî ÿçûêà, îïèñàë
íåñêîëüêî íåòðèâèàëüíûõ ÿâëåíèé. Ýòó êíèãó, êàê îäíó èç íåñêîëüêèõ âûøåä-
øèõ â 2015 ã. è øåñòè ïðèìå÷àòåëüíûõ äëÿ ñåáÿ, îòìåòèë Áèëë Ãåéòñ.  ñâîåì
îòçûâå [12] íà íåå îí íàïèñàë, ÷òî «if you can’t explain something simply, you
don’t really understand it»2.  òî æå âðåìÿ ñòðåìëåíèå ê îãðàíè÷åííîñòè Åß ìîæ-
40 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
2
Òîò, êòî íå ìîæåò îáúÿñíèòü íå÷òî ïðîñòûìè ñëîâàìè, òîò â äåéòâèòåëüíîñòè íå ïîíèìàåò ýòîãî.
íî ñî÷åòàòü ñ èñïîëüçîâàíèåì íåêîåãî ñëîâàðÿ òåðìèíîâ, õàðàêòåðíûõ äëÿ ïðåä-
ìåòíîé îáëàñòè ñïåöèôèöèðóåìîãî îáúåêòà.
ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ
1. I n t e r n a t i o n a l Telecommunications Union. Recommendation Z.151. — User Recommendation
Notation (URN), 2008. — 190 p. — http://www.itu.int/rec/T-REC-Z.151-2008II-I/en
2. H a n d b o o k of process algebra / J.A.Bergstra, A.Ponce, S.A. Smolra (Eds.). — North-Holland,
2001. — 1342 p.
3. Ë å ò è ÷ å â ñ ê è é À . À . Èíñåðöèîííîå ìîäåëèðîâàíèå // ÓÑèÌ. — 2012. — ¹ 6. — Ñ. 3–15.
4. S o w a J . F , Knowledge representation: Logical, philosophical, and computational foundations. —
Pacific Grove (CA): Brooks Cole Publishing Co., 1999. — 594+xiv p.
5. N a t t o c h D a g J . , G e r v a s i V . , B r i n k k e m p e r S . , R e g n e l l B . Speeding up
requirements management in a product software company: linking customer wishes to product
requirements through linguistic // Proc. of the 12th IEEE International Conference on Requirements
Engineering (RE 2004), 6–10 Sept. 2004, Kyoto, Japan. IEEE Computer Society 2004. —
Ð. 283–294. — http://citeseerx.ist.psu.edu/viewdoc/download? doi=10.1.1.477.3979&rep=rep1
&type=pdf.
6. Z h o e J . , L u Y . , L u n d q v i s t K . , L o n n H . , K a r l s s o n D . , L i w a n g B . Towards
feature-oriented requirements validation for automotive systems // Proc. of the 22nd IEEE
International Requirements Engineering Conference (RE’14), 25-29 Aug., Karlskrona, Sweden. —
P. 428–436. — http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6912296&url=http%3A%2
F% 2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D6912296.
7. F i l i p o v i k j P . , N y b e r g R o d r i g u e z - N a v a s M . G . Reassessing the pattern-based
approach for formalizing requirements in the automotive domain // Proc. of the 22nd IEEE
International Requirements Engineering Conference (RE’14), 25–29 Aug., Karlskrona, Sweden. —
P. 444–450. — http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6903646&filter%3
DAND%28p_IS_Number%3A6912234%29&pageNumber=3.
8. Ì è ù å í ê î Í . Ì . , Ù ¸ ã î ë å â à Í . Í . Î ïðîåêòèðîâàíèè ÿçûêîâûõ ïðîöåññîðîâ íà
ÏÝÂÌ // Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. — 1993. — ¹ 2. — Ñ. 110–117.
9. Ì è ù å í ê î Í . Ì . Ïðèìåíåíèå ÐÑÏ Òåðåì äëÿ ðåàëèçàöèè ÿçûêà ïàðàëëåëüíîãî ïðîãðàì-
ìèðîâàíèÿ Ìàÿê // Ïðîáëåìû ñîçäàíèÿ Ñóïåð-ÝÂÌ, Ñóïåð-ñèñòåì è ýôôåêòèâíîñòü èõ ïðè-
ìåíåíèÿ: Òåç. äîêë. 1-é Âñåñîþç. êîíô. (15-17 ñåíòÿáðÿ 1987ã., Ìèíñê). — Ìèíñê: Èí-ò ìàòå-
ìàòèêè ÀÍ ÁÑÑÐ, 1987, ÷. 1. — Ñ. 129–131.
10. Á å ð å ñ ò î â à ÿ Ñ . Í . , Ã î ä ë å â ñ ê è é À . Á . , Ã î ð î õ î â ñ ê è é Ñ . Ñ . , Ê à ï è ò î í î -
â à Þ . Â . , Ë å ò è ÷ å â ñ ê è é À . À . , Ì è ù å í ê î Í . Ì . Î ðåàëèçàöèè ÿçûêîâ ñåìåéñòâà
ÌÀßÊ äëÿ ìíîãîïðîöåññîðíûõ âû÷èñëèòåëüíûõ êîìïëåêñîâ ñ ìàêðîêîíâåéåðíîé îðãàíèçà-
öèåé âû÷èñëåíèé // Êèáåðíåòèêà. — 1989. — ¹ 3. — Ñ. 29–34.
11. M u n r o e R . Thing explainer: complicated stuff in simple words // Houghton Mifflin Harcourt, 24
Nov. 2015. — P. 61. — http://www.amazon.co.uk/Thing-Explainer-Complicated-Stuff-Simple/
dp/1473620910?tag=duckduckgo-ffsb-uk-21.
12. G a t e s B . A basic guide for curious minds. — https://www.gatesnotes.com/books/thing- explainer.
Íàä³éøëà äî ðåäàêö³¿ 09.03.2016
ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5 41
Î.Á. Ãîäëåâñüêèé, Í.Ì. ̳ùåíêî, Ì.Ê. Ìîðîõîâåöü, Î.Ä. Ôåë³æàíêî,
Í.Ì. Ùîãîëåâà
ÌÅÒÎÄÈÊÀ ÐÎÇÐÎÁÊÈ ÒÀ ÇÀÑÎÁÈ ÔÎÐÌÀ˲ÇÀÖ²¯ ÔÓÍÊÖ²ÎÍÀËÜÍÈÕ
ÑÏÅÖÈÔ²ÊÀÖ²É ÑÈÑÒÅÌ ² ÏÐÈÑÒÐίÂ
Àíîòàö³ÿ. Çàïðîïîíîâàíî ï³äõ³ä äî ïîáóäîâè ôóíêö³îíàëüíèõ ñïåöèô³êàö³é
òà äî àâòîìàòèçàö³¿ ïåðåõîäó â³ä ñïåöèô³êàö³é, ïîäàíèõ ïðèðîäíèìè ìîâà-
ìè, äî ôîðìàëüíèõ ìîäåëåé ó ôîðìàò³, ùî º çðó÷íèì äëÿ ïîäàëüøî¿ âå-
ðèô³êàö³¿ öèõ ìîäåëåé òà âàë³äàö³¿ ïîáóäîâàíèõ çà íèìè ïðîãðàìíèõ êîä³â.
Ïåðåòâîðåííÿ òåêñò³â ó ìîäåë³ çä³éñíþºòüñÿ çà äîïîìîãîþ îïèñàíî¿ ³íòåðàê-
òèâíî¿ ñèñòåìè ÎÅÑ. Îïèñàíèé ï³äõ³ä ³ëþñòðóºòüñÿ ðîçãîðíóòèì ïðèêëàäîì.
Êëþ÷îâ³ ñëîâà: ôóíêö³îíàëüíà ñïåöèô³êàö³ÿ, ïîâåä³íêîâà ìîäåëü, ôîðìàëü-
íà ñïåöèô³êàö³ÿ ñèñòåì òà ïðèñòðî¿â, ìîâíèé ïðîöåñîð.
A.B. Godlevsky, N.M. Mishchenko, M.K. Morokhovets, O.D. Felizhanko,
N.N. Shchîgoleva
A DEVELOPMENT TECHNIQUE AND FORMALIZATION MEANS
FOR FUNCTIONAL SPECIFICATIONS OF SYSTEMS AND DEVICES
Abstract. In this paper, we propose an approach to the construction of
functional specifications and to automation of the transition from specifications
in natural language to formal models in a format suitable for the subsequent
verification of these models and validation of software code built on them.
Converting texts to models is carried out by means of the interactive system
OEC described in the paper. Our approach is illustrated by a detailed example.
Keywords: functional specification, behaviour model, the formal specification of
systems and devices, language processor.
Ãîäëåâñêèé Àëåêñàíäð Áîãóñëàâîâè÷,
êàíäèäàò ôèç.-ìàò. íàóê, ñòàðøèé íàó÷íûé ñîòðóäíèê Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà
ÍÀÍ Óêðàèíû, Êèåâ, e-mail: a.godl49@gmail.com.
Ìèùåíêî Íàäåæäà Ìèõàéëîâíà,
êàíäèäàò ôèç.-ìàò. íàóê, ñòàðøèé íàó÷íûé ñîòðóäíèê, Êèåâ, e-mail: nadmykh@ukr.net.
Ìîðîõîâåö Ìàðèíà Êîíñòàíòèíîâíà,
êàíäèäàò ôèç.-ìàò. íàóê, ñòàðøèé íàó÷íûé ñîòðóäíèê Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà
ÍÀÍ Óêðàèíû, äîöåíò Íàöèîíàëüíîãî òåõíè÷åñêîãî óíâåðñèòåòà Óêðàèíû «Êèåâñêèé ïîëè-
òåõíè÷åñêèé èíñòèòóò», Êèåâ, e-mail: marina.morokhovets@gmail.com.
Ôåëèæàíêî Îëüãà Äìèòðèåâíà,
íàó÷íûé ñîòðóäíèê Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà ÍÀÍ Óêðàèíû, Êèåâ,
e-mail: felizhanko@yandex.ua.
Ùåãîëåâà Íàòàëüÿ Íèêîëàåâíà,
íàó÷íûé ñîòðóäíèê Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà ÍÀÍ Óêðàèíû, Êèåâ,
e-mail: nat@incyb.kiev.ua.
42 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2016, òîì 52, ¹ 5
|
| id | nasplib_isofts_kiev_ua-123456789-142014 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T16:32:39Z |
| publishDate | 2016 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. 2018-09-20T17:51:45Z 2018-09-20T17:51:45Z 2016 Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/142014 519.766:004.415.5 Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход иллюстрируется развернутым примером. Запропоновано підхід до побудови функціональних специфікацій та до автоматизації переходу від специфікацій, поданих природними мовами, до формальних моделей у форматі, що є зручним для подальшої верифікації цих моделей та валідації побудованих за ними програмних кодів. Перетворення текстів у моделі здійснюється за допомогою описаної інтерактивної системи ОЕС. Описаний підхід ілюструється розгорнутим прикладом. In this paper, we propose an approach to the construction of functional specifications and to automation of the transition from specifications in natural language to formal models in a format suitable for the subsequent verification of these models and validation of software code built on them. Converting texts to models is carried out by means of the interactive system OEC described in the paper. Our approach is illustrated by a detailed example. Работа выполнена в рамках проекта 5228х при поддержке Национальной академии наук Украины и Украинского научно-технологического центра (УНТЦ). ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Методика разработки и средства формализации функциональных спецификаций систем и устройств Методика розробки та засоби формалізації функціональних специфікацій систем і пристроїв A development technique and formalization means for functional specifications of systems and devices Article published earlier |
| spellingShingle | Методика разработки и средства формализации функциональных спецификаций систем и устройств Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. Кибернетика |
| title | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_alt | Методика розробки та засоби формалізації функціональних специфікацій систем і пристроїв A development technique and formalization means for functional specifications of systems and devices |
| title_full | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_fullStr | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_full_unstemmed | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_short | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_sort | методика разработки и средства формализации функциональных спецификаций систем и устройств |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/142014 |
| work_keys_str_mv | AT godlevskiiab metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv AT miŝenkonm metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv AT morohovecmk metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv AT feližankood metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv AT ŝegolevann metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv AT godlevskiiab metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív AT miŝenkonm metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív AT morohovecmk metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív AT feližankood metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív AT ŝegolevann metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív AT godlevskiiab adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices AT miŝenkonm adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices AT morohovecmk adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices AT feližankood adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices AT ŝegolevann adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices |