Ациклічність та замкненість макрокомпозицій

• Published in: Проблеми програмування
• Date: 2012
• Main Authors: Вінник, В.Ю., Парфірова, Т.С.
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2012
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/86582
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр.

Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції. The problem of explication of software design is treated from the perspective of entity platform. It is established that acyclic compositions are adequate basic means for explication of design structures and logics. For acyclic compositions, closure against superopsition is proved. It is shown that closure against multiplication and overlapping is a corollary of that against superposition.