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

V.Yu. Vinnyk, T.S. ParfIrova

Abstract


Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції.
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.


References


Редько В.Н. Композиции программ и композиционное программирование // Программирование. – 1978. – № 5. – С. 3-24.

Редько В.Н. Композиционная структура программологии // Кибернетика и системный анализ. – 1998. – № 4. – С. 47-66.

Редько В.Н., Редько И.В., Гришко Н.В. Программологические основания сущностной платформы // Проблеми програмування. – 2008. – № 2-3 (Спец. випуск). – С. 75-83.

Hoare, C.A.R., Jifeng, He. Unifying Theories of Programming. − Prentice Hall Europe. − 1998 − 298 p.

Кауфман В.Ш. Языки программирования. Концепции и принципы. − М.: Радио и связь, 1993. − 430 с.

Дейкстра Э. Дисциплина программирования. − М.: Мир, 1978. − 280 с.

Басараб И.А., Никитченко Н.С., Редько В.Н. Композиционные базы данных. − К.: Либідь, 1992. − 192 с.

Parfirova T., Vinnyk V Compositional Model of Acyclic Programs // CSE'2010 International Scientific Conference on Computer Science and Engineering, September 20-22, 2010, Košice - Stará Ľubovňa, Slovakia.

Parfirova T., Vinnyk V Some properties of acyclic compositional programs // Information Models of Knowledge. – ITHEA № 19. – P. 460-464.

Парфірова Т.С., Вінник В.Ю. Семантичні структури програм без циклів // Матеріали 7-ї Міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем» – TAAPSD’2010, Київ, Україна, 4-8 жовтня 2010 р. – C. 378-384.


Refbacks

  • There are currently no refbacks.