ВУЗ:
Составители:
Рубрика:
Одним из объектов технологии ГСП является актор. Актор формируется из
базового модуля путем привязки абстрактных типов данных базового модуля к данным
предметной области. По сути дела
актор порождается в результате аппликации базового
модуля к своим аргументам (операция конкретизации над типом базового модуля).
Актор производит те же действия, что и породивший его базовый модуль, но над
конкретными данными ПОП. В отличие от базовых модулей, каждый актор является
содержательным программным модулем, который выполняет понятные функции в
рамках заданной предметной области
. Акторы в технологии ГСП реализуют
отображение над множеством данных предметной области:
AD D
kk
in
k
out
: → , где
Ddd d
k
in in in
n
in
= { , ,..., }
12
- множество входных данных актора A
k
,
Ddd d
k
out out out
n
out
= { , ,..., }
12
- множество выходных данных актора A
k
. Множества
D
in
и
D
out
образуют в совокупности полное множество данных некоторой предметной
области (словарь данных):
DD D
in out
= U .
Один базовый модуль может породить множество акторов. В данном случае
проявляется свойство параметрического полиморфизма базовых модулей технологии
ГСП [26].
Между базовым модулем и актором осуществляется односторонняя связь типа
“один ко многим”. Каждый актор имеет свой прототип в виде базового модуля, а на
основании каждого базового модуля можно построить один или несколько
акторов. Это
свойство полиморфизма объектов позволяет избежать избыточности при порождении
новых акторов, которые различаются между собой только привязкой по данным.
Другими словами, на основе одного отлаженного и оттестированного базового модуля за
счет механизма автоматизированной привязки по данным можно построить несколько
корректных акторов, что позволяет значительно повысить степень надежности
программирования в
ГСП.
Порождение актора производится путем формирования, так называемого,
паспорта объекта. Процедура паспортизации базового модуля заключается в установке
соответствия между списком типов данных базового модуля и данными предметной
области, таким образом, что каждому формальному параметру (типу данных) ставится в
соответствие конкретное данное ПОП.
Соответствие между базовым модулем B
i
и актором A
j
порождает соответствие
между подмножеством типов T
i
данных и подмножеством самих данных D
j
предметной
области:
BT T A D D
TTT D DD
ii
in
i
out
jj
in
j
out
ii
in
i
out
jj
in
j
out
(, ) (, )
(, ) ( , )
→
=→=
⎧
⎨
⎪
⎩
⎪
В этом случае абстрактные операции над типами данных базового модуля
превращаются в конкретные функциональные преобразования данных ПОП, т.е.
формируется локальная вычислимая функция предметной области, например,
термогазодинамический расчет компрессора ГТД
.
Сформированное отношение (паспорт актора) оформляется как таблица БД
(обозначим его P(t,d)) информационного фонда ГСП, содержащая перечень имен
формальных параметров и соответствующих им имен данных ПО с указанием способа
Страницы
- « первая
- ‹ предыдущая
- …
- 13
- 14
- 15
- 16
- 17
- …
- следующая ›
- последняя »
