Опис моделей КПВ, інтерфейсу і операцій розробки КПВ

Усі ці поняття створють компонентну алгебру.Дамо їх стислий зміст.

Модель компоненту:Comp = (CName, CInt, CFact, CImp, CServ),

де CNameтну алгебру – ім'я компоненту;

CInt = {CInti} – множина інтерфейсів компоненту;

CFact – інтерфейс керування екземплярами;

CImp = {CImpj} – реалізації компоненту;

CServ = {CServr} – системні сервіси.

Відношення: наслідування, екземпляризації, контракту, зв'язування та взаємодії.

Модель інтерфейсу: CInti = ( IntNamei, IntFunci, IntSpeci ),

де IntNamei – ім'я інтерфейсу;

IntFunci – функціональність (сукупність методів);

IntSpeci – специфікація інтерфейсу;

Модель середовища:

CE = (NameSpace, IntRep, ImpRep, CServ, CServImp),

де IntRep, ImpRep – репозитарій інтерфейсів і реалізацій сервісів.

Компонентна алгебра: загальні операції

å = {Y Çj } = {CSet, CESet, W1} Ç {CSet, CESet, W2},

де Y – зовнішня алгебра, j – внутрішня алгебра.

Зовнішня алгебра: Y = { CSet, CESet, W1},

де CSet – множина компонентів Comp, CESet – середовище Е компонентів і інтерфейсів,

W1= {CE1, CE2, CE3, CE4} – операції алгебри:

CE1 – операції оброблення компонентів,

CE2 = Comp Å CE1 – операції інсталяції,

CE3 = CE1 Ç CE2 – операції об'єднання середовищ,

CE4 = CE1 \ Comp – операції видалення середовища,

Comp2 – CE2 = Comp2 Å (CE1 \ Comp1) – операції заміщення.

Внутрішня алгебра: j = {CSet, CESet, W2},

де W2 = {Оrefac, OReing , ORever } – сукупність операцій еволюції компонентів:

О_refac = {AddOImp, AddNImp, ReplImp, AddInt} – рефакторінгу,

O_reing= {rewrite, restruc, adop, supp, conver } – реінженерії,

O_Rever= {visual, metric, restruc, design, rewrite} – реверсної інженерії.

Операції зборки компонентної алгебри:

interconect PS (A, B, C, IntA, IntB, IntC) –взаємодія програм A, B, C за їх інтерфейсами IntA, IntB, IntC;

redevelop PS (IntA, IntB) – перебудова типів даних А, В;

linkconfig SPS (A^l1, B^l1, C^l1 (Int^idlA, Int^idlB, Int^idlC) – зборка шляхом конфігурування програм A, B, C в одної МП L1 і їх параметри в інтерфейсі подані мовою IDL;

linkconfig SPS (A^l1, B^l2, C^l3 , (Int^idlA, Int^idlB, Int^apiC) – зборка різномовних компонентів, що подані мовами (L1, L2, L3) з відповідними інтерфейсами в мовах IDL і API;

makeaway PS (A) – віддалити з системи PS програму А;

add PS (A, C) – додати компоненти А, С до системи PS;

insert F Þ PS – вставити модуль F в систему PS;

rename A Þ B – змінити ім’я ;

redoing x, y Þ BD – передати дані x, y базу даних BD за відповідним форматом.

redo TD (X,Y) – передати дані з перетворенням їх значень;

redact A (PS) – редактувати програму А в програмної системі PS.

Наведений набір операції більш детальніше буде розглядатися у далі.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Розробка КПВ	\|	Реалізація побудови компонентної системи

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.005 сек.