В роботі розглядається проблема побудови системи структур даних мов програмування на основі композиційно-номінативного підходу до формалізації програмних понять. В побудованій системі структури даних розглядаються як конкретизації номінативних даних. Якприклад розглянута мова специфікацій RSL.