Модели́рование — исследование объектов познания на их моделях; построение и изучение моделей реально существующих объектов, процессов или явлений с целью получения объяснений этих явлений, а также для предсказания явлений, интересующих исследователей.
Концептуа́льная моде́ль — это модель, представленная множеством понятий и связей между ними, определяющих смысловую структуру рассматриваемой предметной области или её конкретного объекта.

Компьютерное моделирование — процесс вычисления компьютерной модели на одном или нескольких вычислительных узлах. Реализует представление объекта, системы, понятия в форме, отличной от реальной, но приближенной к алгоритмическому описанию. Включает набор данных, характеризующих свойства системы и динамику их изменения со временем.
MES, система управления производственными процессами — специализированное прикладное программное обеспечение, предназначенное для решения задач синхронизации, координации, анализа и оптимизации выпуска продукции в рамках какого-либо производства. MES-системы относятся к классу систем управления уровня цеха, но могут использоваться и для интегрированного управления производством на предприятии в целом.
Имитационное моделирование — метод исследования, при котором изучаемая система заменяется моделью, с достаточной точностью описывающей реальную систему, с которой проводятся эксперименты с целью получения информации об этой системе. Такую модель можно «проиграть» во времени, как для одного испытания, так и заданного их множества. При этом результаты будут определяться случайным характером процессов. По этим данным можно получить достаточно устойчивую статистику. Экспериментирование с моделью называют имитацией.

Моде́ль — система, исследование которой служит средством для получения информации о другой системе; представление некоторого иного процесса, устройства или концепции - оригинала.
Математи́ческая моде́ль — математическое представление реальности, один из вариантов модели как системы, исследование которой позволяет получать информацию о некоторой другой системе. Математическая модель, в частности, предназначена для прогнозирования поведения реального объекта, но всегда представляет собой ту или иную степень его идеализации.
Системный аналитик — в широком смысле — специалист по решению сложных организационно-технических проблем, имеющих междисциплинарную природу, использующий принципы общей теории систем и методы системного анализа.
IDEF — методологии семейства ICAM для решения задач моделирования сложных систем, позволяют отображать и анализировать модели деятельности широкого спектра сложных систем в различных разрезах. При этом широта и глубина обследования процессов в системе определяется самим разработчиком, что позволяет не перегружать создаваемую модель излишними данными.
IDEF3 — методология моделирования и стандарт документирования процессов, происходящих в системе. Метод документирования технологических процессов представляет собой механизм документирования и сбора информации о процессах. IDEF3 показывает причинно-следственные связи между ситуациями и событиями в понятной эксперту форме, используя структурный метод выражения знаний о том, как функционирует система, процесс или предприятие.
Идентификация систем — совокупность методов для построения математических моделей динамической системы по данным наблюдений. Математическая модель в данном контексте означает математическое описание поведения какой-либо системы или процесса в частотной или временной области, к примеру, физических процессов, экономического процесса и т. п. В настоящее время эта область теории управления хорошо изучена и находит широкое применение на практике.
Data mining — собирательное название, используемое для обозначения совокупности методов обнаружения в данных ранее неизвестных, нетривиальных, практически полезных и доступных интерпретации знаний, необходимых для принятия решений в различных сферах человеческой деятельности. Термин введён Григорием Пятецким-Шапиро в 1989 году.

AnyLogic — программное обеспечение для имитационного моделирования, разработанное российской компанией The AnyLogic Company. Инструмент обладает современным графическим интерфейсом и позволяет использовать язык Java для разработки моделей.
BPM — концепция процессного управления организацией, рассматривающая бизнес-процессы как особые ресурсы предприятия, непрерывно адаптируемые к постоянным изменениям, и полагающаяся на такие принципы, как понятность и видимость бизнес-процессов в организации за счёт их моделирования с использованием формальных нотаций, использования программного обеспечения моделирования, симуляции, мониторинга и анализа бизнес-процессов, возможность динамического перестроения моделей бизнес-процессов силами участников и средствами программных систем.
Бизнес-процесс — это совокупность взаимосвязанных задач и мероприятий, направленных на достижение определенной цели или результата в рамках организации. Бизнес-процессы могут включать как производственные, так и административные функции и являются основой эффективного функционирования предприятия. Правильное управление и оптимизация бизнес-процессов позволяет значительно улучшить производительность, качество, гибкость, прозрачность и управляемость предприятия. Использование современных методов и инструментов анализа и автоматизации бизнес-процессов, помогает достигать высоких результатов и обеспечивать конкурентоспособность на рынке.
Business Studio — программный продукт для моделирования бизнес-архитектуры российского разработчика «ГК «Современные технологии управления».

Web Mining — это использование методов интеллектуального анализа данных для автоматического обнаружения веб-документов и сервисов, извлечения информации из веб-ресурсов и выявления общих закономерностей в Интернете.
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности. Одной из составляющих такой проверки является определение стойкости протокола к атакам в предположении о надёжности криптографических примитивов, на которых он основывается. Для решения этой задачи разработан ряд подходов, основанных на различных формальных методах верификации. Общей чертой формальных методов является использование системного подхода к проблеме, позволяющего выполнять более обоснованную, точную и эффективную проверку свойств безопасности протокола.
Моделирование бизнес-процессов (BPM) в управлении бизнес-процессами и системной инженерии — это деятельность по представлению процессов предприятия, позволяющая анализировать, улучшать и автоматизировать текущие бизнес-процессы. BPM обычно выполняется бизнес-аналитиками, которые предоставляют экспертные знания в области моделирования; экспертами по предмету, которые обладают специальными знаниями о моделируемых процессах; или, чаще всего, командой, состоящей из обоих. В качестве альтернативы модель процесса может быть получена непосредственно из журналов событий с помощью инструментов интеллектуального анализа процессов.
Метод структурированного системного анализа и проектирования — это системный подход к анализу и проектированию информационных систем. SSADM создавался для Центрального агентства компьютеров и телекоммуникаций, являющегося департаментом правительства Великобритании, занимающегося использованием технологий в правительстве, с 1980 года.