Современные технологии разработки и тестирования программного обеспечения (ПО). Часть 1. Коварцев А.Н. - 21 стр.

UptoLike

Составители: 

Формально сущность проблемы организации передачи данных между объектами в
рамках некоторого модуля-агрегата
f
Σ
можно определить как задачу построения
области данных агрегата
f
Σ
-
DD D
in out
Σ
ΣΣ
= U
и установления соответствий между
данными
{}
Dddd
nΣ
Σ
=
12
,,... и данными
{
}
Ddd d
i
ii
n
i
i
=
12
,,..., объектов ff f
m12
, ,..., , из
которых составлен агрегат
f
Σ
(см. рис.2.3).
2.6.1. Информационный интерфейс базовых модулей
Как уже говорилось, первоначальным строительным материалом (локальными
вычислимыми функциями) в ГСП являются базовые модули. Информационный
интерфейс базовых модулей представляет собой некое отношение, устанавливающее
связь между типами данных базового модуля (формальными параметрами) и данными
предметной области. В результате установления связи порождаются новые объекта либо
акторы, либо предикаты.
Отношение
ρ
j
в ГСП формируетсяпаспортизацией типов данных базовых
модулей, т.е. за счетопредмечиванияформальных параметров базовых модулей. В
этом смысле отношение
ρ
j
является по сутипаспортом модуля и вместе с базовым
модулем определяют понятие актора или предиката (см. рис. 2.4).
Таким образом, каждый актор (предикат) через массив указателей P[N] “знает”, над
какими данными предметной области необходимо производить функциональные
преобразования, описанные в соответствующем базовом модуле.
d
i
2
d
1
Σ
d
i
1
D
Σ
D
i
ρ
i
d
n
i
i
d
1
Σ
D
j
d
j
2
ρ
j
d
n
Σ
Σ
d
j
1
...
Рис.2.3. Информационный межмодульный интерфейс