Семиотический подход к имитационному моделированию

Рассматривается задача формализации построения и преобразования структурных схем сложных объектов моделирования: техно-природных, социо-технических и т.п. систем, характеризующихся двумя аспектами: “естественным” и “искусственно-техническим”. В каждом из аспектов система представляется особой структурой. Предлагаются средства графического выражения и математического описания этих структур (язык теории категорий и $\lambda$-исчисление), способ их согласования и совместного использования при имитационном моделировании сложных систем.