Компонентні системи різного призначення будуються з використанням деяких формальних моделей: графових, онтологічних, семантичних, об’єктно-орієнтованих, системних моделей – GDM, SOA, MDD, MDM, моделей і метамоделей даних і др. В роботі розглядається низка формальних моделей, які пропонуються для подання різних предметних областей, ПС і СПС. Ці моделі сформувались і вдосконалювалися в межах фундаментальних проектів щодо об’єктного і компонентного програмування в ІПС НАНУ (2000–2012) [4, 5]. Моделі ПС і зокрема СПС з компонентів і КПВ програмно реалізовані в інструментально-технологічному комплексі (ІТК) [6] і на фабрики програм КНУ ім.. Тараса Шевченко [7].