Аннотации:
У статті розглядається проблема опису формалізації профілювання
програмного забезпечення (ПЗ). Першочерговим завданням формалізації
профілювання ПЗ є завдання представлення та опису профілів ПЗ. У статті вона вирішується за рахунок представлення профілю ПЗ у вигляді семантичних таксономічних структур (ієрархій, фасет і змішаних структур).
Тобто кожен профіль ПЗ складається зі структури (множини таксонів і
класифікаційних ознак) і семантичного наповнення. Як приклад, в статті
профіль вимог представляється у вигляді семантичної таксономічної структури, а саме як ієрархія з семантичним наповненням таксонів і класифікаційних ознак на рівні слів з вимог. Тобто неподільної семантичної одиницею є слово в реченні. Як приклад, у статті семантичної неподільної одиницею є слово в реченні вимог ПЗ. Варто відзначити, що множини елементів множин таксонів і класифікаційних ознак представлені у вигляді кортежів, оскільки для кожного слова важливо його положення у реченні.
Для виконання процесу профілювання та формування профілю ПЗ розглядається і формально описується операція об'єднання семантичних таксономічних структур. Для її реалізації вводяться окремі типи операції об'єднання: об'єднання в ширину, об'єднання в глибину і змішані об'єднання. Також описуються умови, при яких такі типи операцій об'єднання можуть застосовуватися при профілюванні ПЗ. При об'єднанні семантичних таксономічних структур сформульовані та формально описані ступені відповідності таких структур між собою: сильна, допустима й слабка. Ступінь відповідності при об'єднанні семантичних таксономічних структур, яка
буде необхідна при об'єднанні семантичних таксономічних структур визначається експертом. Для виконання операції об'єднання семантичних таксономічних структур докладно описаний алгоритм виконання такої операції. Графічно представлені й формально описані варіанти об'єднання ієрархічних і фасетних структур – всього 12 варіантів для кожного типу семантичних таксономічних структур
