Розробка теоретико-системних конструктів для виробничих і інформаційних систем міського господарства, страница 5

W^R_mfqφlÌBB(w^R_mfqφl1×w^R_mfqφl2×…×w^R_mfqφln×…):≤;

kє, lє , jЄ{1,2},mє, fє, qє, φЄФ, Nєn

Конструкти сімейств систем

ЇЇÌ   B(Е₁× Е₂ × … × Е_ψ) : ψ Є? ;

ЇЇ1 Ì  B(ЕE);   ЇЇ2 Ì  B(ЇЇ1) =BB(ЕE); ...

ЕЕbÌ B(ЇЇ(b-1)) =BB(EE(b-2)) =…=B…B(EE);bЄ{1,2,...};

ЕЕf₁Ì  B(ЇЇ1×B(ЇЇ1)) ; ЕЕf₂ =BB(B(ЇЇ1×B(ЇЇ1)?ЇЇ1 ))) ; ...

Об'єктний конструкт

E_R^ОÌ  RÌ B (R^F×R^M): R^FÌ B(R_i ) ,

R^MÌ B(B{И_ri}  × B (Z^r)× B{Г_ri} ×…)

Операційний конструкт

Е_R^WÌ   B(Е_R^WE × e_R^W): β_R^W;

Е_R^WЕÌ   B(B (V_r)×B(R₁^Φ ×W_r^Eψ ×R₂^Ψ)× B(H_r) ×B(Z_R)):

e_R^W Ì  B( v_r × B(r₁^φ × W_r^ψ × r₂^ψ) × h_r × z_R): v_rЄV_r , W_r Ì B (r₁^w× w_r× r₂^w), hrє _r , z_RЄZ_R

Документальні конструкти

Семантичний конструкт

E_R^DÌ   D_R Ì  B(B ({D_R^S}×{D_R^SQ}×D_R^d)× B (D_R^I): β_R^D; D_R^SÌ  B (D^S×S_R),

D_R^SQ Ì B (D^SQ× B (B(a× S_R)×B(M)×B(N)), D_R^d Ì B (D^d×Е_R),

D_R^IÌ B (D^d×U_R); S_R Є{e_ER^A, e_R ,R ,V_r ,H_r , D_r^P , D_r^W, W_r , Z_R }:

D_r^PÌ B (D^P × R), D_r^WÌ  B (D^W × W_r): D_r^P, D_r^WÌ   D_R^D

Знаковий конструкт

D^SÌ  B (D^SF×D^М), D^SQÌB( D^SQF×D^M), D^dÌB(D^dF×D^М); D^SFÌB(D×Я_S); D^SQFÌB(D^Э×D^Q); D^dFÌ  B(D^BÌ B(D^Л×Я)): D^ЛÌ B(D^ЗÌ B(D_i^З);

D^МÌ B(DМ×DМ): DМÌ  B(L×B(Z_L))×Ш×И_D×Г_D ×…),

DМÌ  B(B(L^H×B(Z_L^H)) ×К_D^Н)

Характеристика конструкта наведена в табл.3. Найменування множин наведені в  табл.1.

Таблиця 3

Характеристика конструктів систем Е_R

Конструкти	Базисних множин	Булеанів	Декартианів	Усього операцій
Родові систем ЕR	39	67,68	59,60	126, 127,..
Семантика документів DR	21	27,28,..	29,30,..	56, 57,..
У цілому для системЕR	49	108,109,..	98,99,..	206,207,..

4 Теоретико-системні конструкти інформаційних систем

Загальна структура

E_DRÌ  B(Е_DR^A × E_DR^D): E_DR^AÌ   В(Е_DR^F × E_DR^О× Е_DR^W) : β_DR={β_DR^FW, β_DR^VW,…}

Функціональний конструкт

Е_DR^FÌ  B(Е_DR^FЕ× e_DR^F): β_DR^F;

Е_DR^FЕÌ  В(Е× В(B(E_DR^и × В(D_R1^Φ))× В(B(D_R2^Ψ)×E_DR^п))),

ЕÌB(BB(е) ×BB(е₁ × е₂ × …× е_i )): е_i =B{ е_i1, е_{i2 ,}…},iЄI, е_iÌBB(е);

D_R1^ΦÌ  B{d_R1^φÌ  B(d_R11^φ × d_R12^φ ×…× d_R1k^φ×…)}:

d_R1k^φ ={ d_R1k¹, d_R1k² ,…},kЄK, ?ЄФ,

D_R2^ΨÌ  B({d_R2^ψÌ  B(d_R21^ψ  × d_R22^ψ ×…× d_R2m^ψ×…)}:

d_R2m^ψ ={ d_R2m¹ , d_R2m² ,…}:mЄM, ?Є? ;

e_DR^FÌ  В(d_R1^φ × d_R2^ψ): d_RJ Ì D_RJ Ì D_R , d_RJ Ì d_R Ì D_R

Об'єктні конструкти

Семантичний конструкт

E_DR^ОÌ   D_RÌ  B(B({D_R^S}×{D_R^SQ}×D_R^d): β_DR^О; D_R^SÌ  B(D^S×S_R),

D_R^SQÌ  B(D^SQ× В(B(a× S_R)×B(M)×B(N))), D_R^dÌ  B(D^d×Е_R);

S_R Є{e_ER^A, e_R , R ,V_r , D_r^P , D_r^W, H_r ,W_r , Z_R }:

D_r^PÌ   B(D^P × R), D_r^WÌ   B(D^W × W_r): D_r^P, D_r^WÌ   D_R^D

Знаковий конструкт

D^SÌ  B(D^SF×D^М), D^SQÌ  B(D^SQF×D^M), D^dÌ  B(D^dF×D^М)

D^SFÌ  В(D×Я_S); D^SQFÌ  B(D^Э×D^Q); D^dFÌ  B(D^BÌ B(D^Л×Я)):D^ЛÌ  B(D^ЗÌ  B(D_i^З))

D^МÌ  B(DМ×DМ): DМÌ  B(L×B(Z_L))×Ш×И_D×Г_D ×…),

DМÌ  В(B(L^H×B(Z_L^H)) ×К_D^Н)

Операційний конструкт

Е_DR^WÌ   В(Е_DR^WE × e_DR^W): β_DR^W,

Е_DR^WEÌ  В(В(V_dr)× B(D_R1^φ ×W_dr^Eψ×D_R2^ψ)× B(H_dr) ×B(Z_DR)):

W_dr^EψÌ  В{W_dr^ψÌ   B(W_dr1^ψ  × W_dr2^ψ ×…×W_drm^ψ×…)}:

W_drm^ψ ={W_drm¹ ,W_drm² ,…}:W_drÌB(W_dr^V×W_dr^H×W_DDr^H),mЄM, ?Є?;

e_DR^WÌ  B(v_dr × B(d_r1^φ × W_dr^ψ × d_r2^ψ) × h_dr × DD_DR × z_DR):

w_drÌ  B (w_dr^V, w_dr^H, w_DDr^H): w_dr^VÌ  B(v_r × B( d_dr1^w × d_r2^w)),

w_dr^HÌ  B(v_dr × B(d_r1^wV×d_r1^wH×d_r2^wH ×d_r2^wV) × h_dr),

w_DDr^HÌ  B(v_dr × B(d_r1×DD_DR2)×B(DD_DR1 × d_r2) × h_dr),

v_dr Є V_dr , h_drЄH_dr , z_DRЄZ_DR , DD_DR Ì   B({D_DRÌ  B{d_DR })

Документальні конструкти

Семантичний конструкт

E_DR^DÌ   D_DRÌ  B(B(D_DR^I) × B({D_DR^S}×{D_DR^SQ}×D_DR^d)): D_DR^IÌ  B(D^d×U_DR), β_DR^D; D_DR^SÌ B(D^S×S_DR), D_DR^SQÌ B(D^SQ×В(B(a×S_DR)×B(M)?B(N))),

D_DR^dÌ B(D^d×Е_DR^A), S_DR Є{ e_EDR^A, e_DR , V_dr , D_R , D_dr^P , D_dr^W, H_dr, W_dr , Z_DR }:

D_dr^PÌ  B(D^P × D_r^P), D_dr^WÌ   B(D^W × W_dr): D_dr^P , D_dr^WÌ   D_DR^D

Знаковий конструкт наведений у блоці об'єктного конструкта     

Характеристика конструктів дана в табл.4. Базисні множини виділені в  табл.1.