7 мая 2008 · Запись

Какие у нас есть "языки моделирования"

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

Вот списочек языков моделирования (то бишь языков, на которых можно описывать онтологии, таксономии и так далее -- до конкретных данных):

UML -- это наше всё. Не комментирую, ибо будет религиозная война.
ORM2 -- одновременно проще и круче UML. Например, именно он выбран для методологии DEMO. Чаще всего используется для проектирования баз данных. Подробности и софт -- http://www.ormfoundation.org/, теория и сравнение с UML -- http://www.orm.net/
EXPRESS -- принят в промышленности, закреплен стандартом (http://en.wikipedia.org/wiki/ISO_10303-11). Основа всей системы STEP (семейства ISO 10303), базис для ISO 15926-2.
OWL/RDF -- это semantic web, но он стремительно захватывает лидерство в промышленности (в том же ISO 15926-7), перешибая EXPRESS. Резон простой: делает то же самое, но бесплатного софта для него будет больше, и программистов будет найти легче.
Gellish - http://gellish.wiki.sourceforge.net/ -- хвастается, что может переписать в себя то, что сказано на UML, и ORM2, и EXPRESS, ибо содержит в себе более базовые концепты, позволяющие описывать на нем концепты из UML, ORM2 и EXPRESS. Он же и сам себе язык запросов.

Пока задачу переписки "в себя" знаний, представленных на других языках (по схеме "переписываем сначала концепты языка, а затем с их использованием -- автоматом конвертируем тексты на этих языках") ставила только команда Геллиша. Для полноты картины не удержусь привести язык классификаторов и проекций ОргМастера (http://big.spb.ru/bigmaster/), но этот язык никак не специфицирован и разработчики не любят разговоры на эту тему. Хотя язык там вполне полноценный и рабочий, не хуже прочих и внутри более всего похож на Gellish. Сюда же можно отнести СYCL из www.cyc.com и так далее -- до бесконечности. И еще куча языков моделирования отдельных аспектов жизни -- типа IDEF0 для описания функций (ибо для описания процессов нужен IDEF3).