Какие формальные языки используются для создания компьютерных моделей?

Для создания компьютерных моделей используются различные формальные языки, среди них:

• Язык математики. sites.google.com nsportal.ru Модели, построенные с использованием математических обозначений и формул, называются математическими моделями. sites.google.com nsportal.ru
• Язык алгебры. sites.google.com Позволяет формализовать функциональные зависимости между величинами. sites.google.com
• Язык алгебры логики (алгебры высказываний). sites.google.com nsportal.ru С его помощью можно формализовать (записать в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. sites.google.com
• Языки программирования. sky.pro Это представители формальных языков, специально разработанные для точного выражения алгоритмов в форме, понятной как людям, так и компьютерам. sky.pro

Некоторые языки, которые используются для создания компьютерных моделей:

• DRAKON — язык алгоритмического моделирования общего назначения. en.wikipedia.org
• EXPRESS и EXPRESS-G (ISO 10303-11) — международный стандарт языка моделирования данных общего назначения. en.wikipedia.org
• EEML — расширенный язык корпоративного моделирования, используется для моделирования бизнес-процессов на нескольких уровнях. en.wikipedia.org
• IDEF — семейство языков моделирования, которое включает IDEF0 для функционального моделирования, IDEF1X для информационного моделирования и другие. en.wikipedia.org
• LePUS3 — объектно-ориентированный язык описания визуального проектирования и язык формальных спецификаций, подходит для моделирования больших программ и шаблонов проектирования. en.wikipedia.org
• SDL — язык спецификаций, предназначенный для однозначной спецификации и описания поведения реактивных и распределённых систем. en.wikipedia.org
• SysML — специализированный язык моделирования для системной инженерии. en.wikipedia.org
• UML — унифицированный язык моделирования общего назначения, является отраслевым стандартом для определения систем с большим объёмом программного обеспечения. en.wikipedia.org