ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

351
[Определения {def_
- [{Ссылка}]
….}]
[Банк тестов: Файл1 [, Файл2,…]]
; …; } [ПрО]
Аббревиатура ‘ПРО’ задает тип лексического дерева и является
зарезервированной; {Ссылка} позволяет сослаться на ЛД, описывающее
тест в Банке тестов. Объединение ФО в семантические группы позволяет
процессору реализовать дополнительные аналитические и вычислительные
функции, в частности, строить логические схемы ПрО, осуществлять
прямой и обратный вывод и т.д.
Предметные области могут образовывать сложные иерархии. Пример
иерархии ПрО:
ПрО {{…{}}…{…{…{}}}…{}}
Каждая пара фигурных скобок означает новое ПрО. Любая вложенная ПрО
наследует определения, соглашения, тесты и системопаттерны всех
родительских ПрО. Видимость любого ФО ограничена ближайшими
окаймляющими фигурными скобками (наименьшей ПрО).
В качестве примера семантической группы отображений приведем
фрагмент ПрО «Эхокардиография» [134]:
ПрО "Эхокардиография" {ПРО_ЭхоКГ
Определения {def_
КДР - Конечный диастолический размер
КСР - Конечный систолический размер
КДО - Конечный диастолический объем
КСО - Конечный систолический объем
УО - Ударный объем {ТЕСТЫ: УдарОбъем}
ФВ - Фракция выброса {ТЕСТЫ: ФракцВыброса}
СИ - Сердечный индекс {ТЕСТЫ: СердИндекс}
СокрСпособМиок - Сократительная способность миокарда}
#ТЕСТЫ – файл, содержащий Банк тестов.
Рост, Вес -> Площ_Тела (fo_S_Tela())
RR -> ЧСС
(fo_RR())
КСР -> КСО
(fo_KSO())
КДР -> КДО
(fo_KDO())
КДО, КСО -> УО, ФВ (fo_UO_FV ())
Плош_Тела, ЧСС, УО -> СИ (fo_SI ())
ФВ -> СокрСпособМиок (fo_CCM())
Пол/ПОЛ, Возраст/N, СИ -> Тип_Гемодинам (fo_TG()).