Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Collection "Informat...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Collection "Information technology and security"
Article . 2018 . Peer-reviewed
Data sources: Crossref
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
versions View all 2 versions
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Structural analysis of the compounds of integral objects

Authors: Sokolov, Volodymyr;

Structural analysis of the compounds of integral objects

Abstract

В статье представлены результаты исследований методов анализа структуры программного обеспечения, построенного по архитектуре на основе интегральных объектов. Для определения операций структурного анализа выбрано представления соединений интегральных объектов в виде формул соединений и таблиц, а также формализованы операции интеграции и дезинтеграции соединений. Интеграция соединения с образованием нового класса заключается в инкапсуляции соединения в оболочку класса с присвоением степени интеграции классу на единицу больше, чем у соединения, а дезинтеграция заключается в обратном процессе извлечения соединения из оболочки класса с уменьшением степени интеграции на единицу. Табличное представление соединений объектов, которое включает как представление объектов, так и связей между ними, позволяет применить формальные методы анализа их структуры. Определено понятие структурной эквивалентности двух соединений как имеющих одинаковый состав и структуру соединения объектов, а также понятие функциональной эквивалентности двух соединений как реализующих одинаковую композицию функций. В качестве основных операций структурного анализа представлены две базовые операции определение структурной и функциональной эквивалентности двух соединений. Определение эквивалентности соединений сводится к сравнению табличного представления соединений с учетом перестановки строк и столбцов таблиц. Показано, что определение структурной эквивалентности возможно только для соединений одинаковой степени интеграции, а для определения функциональной эквивалентности нужно приведения соединений до атомарного уровня. Определение функциональной эквивалентности сведено к определению структурной эквивалентности атомарных формул соединений. В качестве производных операций выделено операции распознавания структурно и функционально эквивалентных классов для заданного соединения, основанные на базовых операциях определения эквивалентности, а также четыре операции эквивалентных преобразований соединений: структурно и функционально эквивалентная замена соединения на объект эквивалентного класса и частичная структурно и функционально эквивалентна замена фрагмента соединения на объект эквивалентного класса. Операции структурного анализа являются основой для эквивалентных преобразований соединений в процессе проектирования, верификации и оптимизации системы классов решения задач предметной области при разработке программного обеспечения.

Related Organizations
Keywords

функциональная эквивалентность, интегральный объект, функціональна еквівалентність, сполуки інтегральних об’єктів., Structural analysis, Структурный анализ, structural equivalence, functional equivalence, структурна еквівалентність, integral objects compounds., структурная эквивалентность, integral object, соединения интегральных объектов., Cтруктурний аналіз, інтегральний об’єкт

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    1
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
1
Average
Average
Average
gold