Метод та засоби редокументування успадкованого програмного забезпечення (стр. 3 из 5)

,

де

; – -ий елемент множини , вкладений в її -ий елемент; – -ий елемент множини , вкладений в -ий елемент множини .

Службовий СЭД

має текстове значення , яке є заголовком. Також йому відповідають або змістовні СЕД, або ІЕД. Отже, для має місце:

,

де

, – -ий елемент множини , вкладений в -ий елемент множини , – -ий елемент множини , вкладений в -ий елемент множини .

Ідентифікаційний СЕД містить лише значення

, йому не поставлено у відповідність жодного елементу.

Мета-модель документа технологій розроблення ПЗ

побудована на основі моделі документа ПО

та вимог до документу, загальних для технологій розроблення, (де – вимоги i-ої технології). Мета-модель в процесі перетворення параметризується за трьома складовими документа: вмістом, структурою, формою представлення, на основі відповідних вимог , , .Параметрами виступають нотація представлень , частина графа , визначена для множин ідентифікаційних та службових СЕД, (де ) і правила форматування . Отже, параметризована мета-модель має вигляд .

Модель документа технології розроблення ПЗ

побудована на основі моделі

та вимог . Модель в процесі перетворення параметризується за двома складовими документа: вмістом і структурою, на основі відповідних вимог , . Параметрами виступають множина типів представлень , множина пояснень , частина графа , визначена для змістовних СЕД : (де ), матриця для відповідності множин і та відображення .

Таким чином, враховуючи параметризацію мета-моделі

, модель

має вигляд: .

Реінженерія ПЗ включає два типи процесів – зворотної і прямої інженерії. Процеси зворотної інженерії забезпечують відновлення інформації про успадковане ПЗ. Процеси прямої інженерії – це процеси технології розроблення ПЗ, а документація, яка створюється під час редокументування і використовується в прямій інженерії, має відповідати вимогам технології розроблення. Тому сутність запропонованого методу полягає у створенні документації успадкованого ПЗ у відповідності до вимог технології розроблення, обраної для прямої інженерії, з формуванням вмісту документів із застосуванням результатів зворотної інженерії (рис.2)

«Глибина» проведення реверсивної інженерії успадкованого ПЗ залежить від фази, з якої починається пряма інженерія. Оскільки кожна фаза прямої інженерії спирається на документи попередньої фази, то при редокументуванні необхідно створити документи фази, яка є попередньою для тої, з якої починається пряма інженерія. Таким чином, процес редокументуванння у розглянутому методі визначається обраною технологією розробки ПЗ і фазою, починаючи з якої передбачається проводити подальшу його розробку (рис.3).

Редокументування

згідно з методом і MDDє процесом створення множини документів успадкованого ПЗ шляхом перетворення моделей документів з формуванням їх вмісту на основі множини представлень успадкованого ПЗ. Перетворення моделей керується двома параметрами – обраною технологією розроблення і фазою . Отже, .

Реалізація методу редокументування потребує виконання наступних перетворень:

- моделі документа ПЗ

у мета-модель документа технологій розроблення ПЗ шляхом конкретизації з урахуванням загальних вимог технологій розроблення . Отримана модель описується на мові UML ;

- мета-моделі

у модель документа технології розроблення ПЗ шляхом конкретизації з урахуванням вимог обраної технології розроблення ;

- моделі

у метаописи документів обраної технології розроблення шляхом підстановки у параметри фактичних значень, які визначаються вимогами до -го документу. Засобом побудови метаописів є спеціально розроблена шляхом розширення мови XML мова Redocumentation Document Description Language (RDDL).