Обсуждение

Ситуация с языками моделирования сильно напоминает Вавилонское столпотворение. Точно так же куча народу бегает, орет и дерется не понимая друг друга ... ибо языков стало больше чем глоток. Система моделирования ARIS, разработчики которой

Мыль пардон - не в ту кнопку попал. Так вот, система моделирования ARIS, разработчики которой с истинно немецким упорством постарались собрать максимальное количество возможных методологий (то бишь языков) - содержит около 100 вариантов моделей. И, понятное дело, у купившего сдуру эту систему сразу возникает логичный вопрос: А на кой я взял всю эту бесформенную кучу? И второй вопрос: А с какой стати я должен покупать весь пакет, если мне нужно максимум 3-5 вариантов? Причем на второй вопрос разработчики отвечают: А мы вам фильтр встроили - можете настроить так, что не будете видеть все модели. PS. То что в России ARIS покупают крайне слабо говорит о кондовой мудрости нашего народа :-)))

Стандарт онтологического исследования IDEF5. Реализации не встречал

Да этих IDEFx как собак нерезанных -- штук одиннадцать ;) Я же написал, что всех языков и язычков не перечислишь и не упомнишь. Я главные написал, с которыми ежедневно приходится иметь дело в моей практике. Вот с EXPRESS и Gellish, например, приходится, а IDEF5 в этом отношении мертвый язык...

Мы ARIS даже в расчет не берем. У клиентов неоднократно встречали неудачу ARIS-проектов :)

А как соотносятся Gellish с OWL по выразительным возможностя? Gellish мне напоминает обобщенный UML, т.е. там гораздо большее разнообразие типов связей. У OWL'а есть несколько вариантов, одна из них построена на first order logic, что выглядит привлекательно (т.е. основа у него надежная).

Точнее не на first order logic, а на какая-то descriptive logic. Но поскольку для OWL DL гарантируется вычислztмость и полнота то в основе все же навреняка FOL.

Gellish и OWL меня очень заинтересовали в плане генерации софта и тестов прямо из требований. UML мне в этом плане совсем не нравился, ибо черезчур прямолинейный, соответственно приходилось совмещать дизайн и требования в одной модели, что хреново.

А какие языки вы считаете оптимальными для описания и проектирования систем?

Английский прежде всего, но если русский родной -- тогда лучше русский. Ну, и всё зависит ещё от системы, плюс важно ещё, интерес какого стейкхолдера нужно удовлетворить. Тут и пары десятков языков может не хватить. Строителям, например, нужно на русском матерном часто описания давать, а компьютерам -- иногда и на Коболе приходится.

А если моделировать?

Что хотите моделировать -- такой и язык. Химические реакции лучше моделировать в женевской нотации. Распад частиц в диаграммах Фейнмана. Задвижки на трубопроводах моделировать лучше трехмерными моделями (хотя до сих пор люди часто используют набор двумерных моделей). Вы задаёте очень странные вопросы. Общих ответов на общие вопросы не бывает. Для определения системы используется множество групп описаний, в каждой группе описаний множество моделей, каждый вид моделей часто имеет свой лучший для этого язык. Для каждой системы отдельно определяется, какие описания вы хотите делать. Софт, например, не нуждается в трёхмерных моделях, а железку бесполезно описывать на Java. Общего ответа не будет, не просите. И частного ответа тоже не будет (ибо окажется, что одни языки лучше описывают одно, другие языки другое, а третьи языки очень плохие, зато их все знают, есть куча софта для них -- поэтому их и будут использовать).