Structural analysis of the compounds of integral objects
| Jazyk: | ukrajinština |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
функциональная эквивалентность
интегральный объект функціональна еквівалентність structural equivalence functional equivalence структурна еквівалентність структурный анализ структурний аналіз структурная эквивалентность integral object 004(94+41) сполуки інтегральних об’єктів integral objects compounds соединения интегральных объектов structural analysis інтегральний об’єкт |
| Popis: | У статті представлено результати досліджень методів аналізу структури програмного забезпечення, побудованого за архітектурою на основі інтегральних об’єктів. Для визначення операцій структурного аналізу обрано представлення сполук інтегральних об’єктів у вигляді формул сполук та таблиць, а також формалізовані операції інтеграції та дезінтеграції сполук. Інтеграція сполуки з утворенням нового класу полягає в інкапсуляції сполуки в оболонку класу з присвоєнням степені інтеграції класу на одиницю більше, ніж у сполуки, а дезінтеграція полягає у зворотному процесі вилучення сполуки з оболонки класу зі зменшенням степені інтеграції на одиницю. Табличне представлення сполук об’єктів, що включає як представлення об’єктів, так і зв’язків між ними, дозволяє застосувати формальні методи аналізу їх структури. Визначено поняття структурної еквівалентності двох сполук як таких, що мають однаковий склад та структуру з’єднання об’єктів, а також поняття функціональної еквівалентності двох сполук як таких, що реалізують однакову композицію функцій. В якості основних операцій структурного аналізу представлено дві базові операції – визначення структурної та функціональної еквівалентності двох сполук. Визначення еквівалентності сполук зводиться до порівняння табличного представлення сполук з урахуванням перестановки рядків та стовпчиків таблиць. Показано, що визначення структурної еквівалентності можливо лише для сполук однакової степені інтеграції, а для визначення функціональної еквівалентності потрібно приведення сполук до атомарного рівня. Визначення функціональної еквівалентності зведено до визначення структурної еквівалентності атомарних формул сполук. В якості похідних операцій виділено операції розпізнавання структурно та функціонально еквівалентних класів для заданої сполуки, які основані на базових операціях визначення еквівалентності, а також чотири операції еквівалентних перетворень сполук: структурно та функціонально еквівалентна заміна сполуки на об’єкт еквівалентного класу та часткова структурно та функціонально еквівалентна заміна фрагменту сполуки на об’єкт еквівалентного класу.Операції структурного аналізу є основою для еквівалентних перетворень сполук в процесі проектування, верифікації та оптимізації системи класів розв’язку задач предметної області під час розробки програмного забезпечення. The article presents the results of research on methods of analysis of the structure of software, built on architecture based on integral objects. To determine the structural analysis operations, the representation of the compounds of integral objects in the form of formulas of compounds and tables were chosen, and operations of integration and disintegration of compounds were formalized. The integration of compound with formation of a new class consists in encapsulating the compound into the class shell with the integration degree of the class one greater than that of the compound, and the disintegration consists in the reverse process of extracting the compound from the class shell with a decrease of integration degree by one. The table representation of the compounds of objects, which includes both the representation of objects and the connections between them, allows us to apply formal methods for analyzing their structure. The notion of structural equivalence of two compounds as having the same composition and structure of the objects compounds is determined, as well as the notion of functional equivalence of two compounds as those implementing the same composition of functions. As the main structural analysis operations, two basic operations are presented ̶ the determination of the structural and functional equivalence of the two compounds. The determination of the equivalence of the compounds is reduced to comparing the table representation of the compounds, taking into account the permutation of the rows and columns of the tables. It is shown that the determination of structural equivalence is possible only for compounds of the same integration degree, and for the determination of functional equivalence, it is necessary to bring the compounds to the atomic level. The definition of functional equivalence is reduced to the determination of the structural equivalence of atomic formulas of compounds. The operations of recognition of structurally and functionally equivalent classes for a given compound are chosen as derivative operations, which are based on basic equivalence determination operations, as well as four operations of equivalent transformations of compounds: structurally and functionally equivalent replacement of a compound by an object of the equivalent class and partially structurally and functionally equivalent replacement of a fragment of a compound by an object of the equivalent class. Structural analysis operations are the basis for the equivalent transformation of compounds in the process of designing, verifying and optimizing the system of classes of the problem domain solution during software development. В статье представлены результаты исследований методов анализа структуры программного обеспечения, построенного по архитектуре на основе интегральных объектов. Для определения операций структурного анализа выбрано представления соединений интегральных объектов в виде формул соединений и таблиц, а также формализованы операции интеграции и дезинтеграции соединений. Интеграция соединения с образованием нового класса заключается в инкапсуляции соединения в оболочку класса с присвоением степени интеграции классу на единицу больше, чем у соединения, а дезинтеграция заключается в обратном процессе извлечения соединения из оболочки класса с уменьшением степени интеграции на единицу. Табличное представление соединений объектов, которое включает как представление объектов, так и связей между ними, позволяет применить формальные методы анализа их структуры. Определено понятие структурной эквивалентности двух соединений как имеющих одинаковый состав и структуру соединения объектов, а также понятие функциональной эквивалентности двух соединений как реализующих одинаковую композицию функций. В качестве основных операций структурного анализа представлены две базовые операции определение структурной и функциональной эквивалентности двух соединений. Определение эквивалентности соединений сводится к сравнению табличного представления соединений с учетом перестановки строк и столбцов таблиц. Показано, что определение структурной эквивалентности возможно только для соединений одинаковой степени интеграции, а для определения функциональной эквивалентности нужно приведения соединений до атомарного уровня. Определение функциональной эквивалентности сведено к определению структурной эквивалентности атомарных формул соединений. В качестве производных операций выделено операции распознавания структурно и функционально эквивалентных классов для заданного соединения, основанные на базовых операциях определения эквивалентности, а также четыре операции эквивалентных преобразований соединений: структурно и функционально эквивалентная замена соединения на объект эквивалентного класса и частичная структурно и функционально эквивалентна замена фрагмента соединения на объект эквивалентного класса. Операции структурного анализа являются основой для эквивалентных преобразований соединений в процессе проектирования, верификации и оптимизации системы классов решения задач предметной области при разработке программного обеспечения. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|