Объектно-компонентная разработка изменяемых программных систем

Abstract

Объектно-компонентный метод (ОКМ) моделирования программных систем Лаврищевой – Грищенко развит согласованными моделями вариабельности систем и их вариантной конфигурационной сборки из компонентов, а также алгеброй операций изоморфного преобразования нерелевантных типов данных для этих компонентов. Введение в модель системы точек вариантности с их вариантами обеспечивает изменяемость систем и устойчивое взаимодействие их компонентов. Описана реализация формального аппарата в автоматизированном конфигураторе систем и его апробация в инструментально-технологическом комплексе ИПС НАНУ и экспериментальной фабрике программ КНУ им. Т. Шевченко.

Об'єктно-компонентний метод моделювання програмних систем Лавріщевої – Грищенка розвинуто узгодженими моделями варіабельності систем та їх варіантної конфігураційної збірки з компонентів, а також алгеброю операцій ізоморфного перетворення нерелевантних типів даних для цих компонентів. Запровадження до моделі системи точок варіантності з їх варіантами забезпечує змінюваність систем та стійку взаємодію їх компонентів. Описано реалізацію формального апарата в автоматизованому конфігураторі систем та його апробацію в інструментально-технологічному комплексі ІПС НАНУ і експериментальній фабриці програм КНУ ім. Т. Шевченка.

Complementary limitations of both Software Product Lines industrial technologies and Lavrischeva – Grishenrko object-component method concerning changeable software development are elicited such as the lack of formalisms for program assets building and ill predictability of this build features. To cope with the limitations universal Model of Software Family Variant Features is proposed expanding its traditional feature model for basic development artifacts. For assets being considered as reusable Components final Changeable Software Object-Component Model is elaborated including the universal model above being adjusted as Software Variability Object-Component Model. The Algebra is depicted for the operations of both the Components configuring and data types transforming over their interaction within changeable software system. These operations are proposed to incorporate into the target process for Changeable Software Family proactive and informed Variability management being represented with its technological chart. The process proposed composes the functions for variability Planning, Implementing and Control as well as Family model/consist Evolving up to the Control results. The functions listed are performed within common information environment structured accordingly to Variant Features Model or its object-component adjustment. Trial software tool for configuring Components in the above process is probed. The usage is depicted of both the framework proposed and this tool over technological lines being implemented in Software Systems Institute of NAS of Ukraine Instrumental-technological complex for changeable software configuring from the components.