Аннотация:Теория s-моделирования включает язык специфицированного описания расширяемой системы понятий символьного моделирования произвольных объектов, описание ядра этой системы и классов базовых задач построения моделей и манипулирования ими. Теория рассматривается как методологическая платформа проектирования человеко-машинной среды символьного моделирования и информатизации.