?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

PraxOS и ISO 15926 [12 Dec 2009|01:58am]
Удивительно: именно я оказался человеком, который сообщил тусовке разработчиков ISO 15926 о стандарте SBVR. Теперь я им сообщил об OMG ODM (http://levenchuk.com/2009/12/12/omg-ontology-representation-related-standards-odm-sbvr-and-iso-15926/).

А всего-то я от них хочу, чтобы они определили стандарт, в котором готовить русскоязычную версию ISO 15926, но их интересует более широкий круг вопросов.

Интересно, что наш план по разработке онтологии деятельности в принципе был одобрен -- и нам даже предложили по нему сделать рабочую группу PoscCAESAR (см. комменты к http://levenchuk.com/2009/12/10/activity-modeling-and-iso-15926/). Жаль только, что мы эту рабочую группу создать сами пока не в состоянии (мне кажется, что это все-таки не совсем по профилю деятельность для организационных консультантов -- быть лидерами методологического проекта). Но с удовольствием поучаствуем, буде она создастся -- как неосновной деятельностью заниматься методологией весьма полезно.

После чего PraxOS будет иметь стандартизованную онтологию деятельности -- причем по-русски и по-ангельски, что приятно. И софт PraxOS сможет легко и свободно стыковаться с поддерживающими ISO 15926 САПРами -- если только не окажется, что рабочая группа, когда она соберется, сделает такую "консенсусную" онтологию деятельности, которая свяжет нас по рукам и ногам и поэтому будет нами же с негодованием отвергнута. Но попытка не пытка, быть стандартизированными на международном уровне -- это все-таки правильно.
post comment

Тренды моделеориентированной системной инженерии [12 Dec 2009|11:52am]
Любимый мой способ отследить современные тренды -- это поглядеть на темы последних конференций. Раз в пару лет проходит конференция по моделеориентированной системной инженерии. Вот темы MBSE'09 (http://www1.technion.ac.il/_root/Announcements/info-links/MBSE_2009_Call_for_Papers_v12.pdf):
-- языки и подходы концептуального (понятийного) моделирования
-- онтологические основания для и требования из языка моделирования системной инженерии
-- модели исследование операций и их отношение к системной инженерии
-- стандарты для моделей системной инженерии
-- освоение практик моделирования в организациях: подходы, достижения и полученные уроки
-- UML и SysML: предмет, ожидания и наблюдения в отношении системной инженерии
-- объектно-процессная методология для системного моделирования и поддержки жизненного цикла
-- одна против множества групп описаний: согласование и интеграция моделей системы
-- образование для целостного системного мышления и моделирования
-- подходы к управлению сложностью в языках моделирования систем
-- отношение между языками моделирования систем и методологией разработки систем
-- методологии, процессы и языки моделирования: следствия и влияния
-- информационная инженерия и инженерия программных систем: поддисциплина системной инженерии или отдельная область?
-- инженерия человеческого познания (cognition) и человеческого фактора при проектировании систем
-- промышленный опыт моделирования сложных систем: полученные уроки
-- сравнительное изучение подходов и языков концептуального моделирования
-- концептуальное моделирование для гибкой разработки систем
-- автоматическое порождение артефактов (например, кода, документации) из моделей
-- оценка и верификация моделей систем
-- модели сервисной инженерии
-- модели системной инженерии в промышленном контексте
-- моделеориентированное управление проектом и управление жизненным циклом продукта
-- моделеориентированное проектирование верификации и испытаний
-- новые типы парадигм системной инженерии: биологическая, нано, и т.д.
post comment

Политическое шаманство, австрийская школа, математические и прочие модели [12 Dec 2009|10:09pm]
Слушаю шаманское радио в Pandora (называется оно у меня shaman hey-heya), и время от времени музыкальный алгоритм подмешивает к шаманским бессмертным хитам типа animal sacrifice music творчество глубоко политизированной группы Quilapayun -- вот только что они спели шаманский хит "По долинам и по взгорьям" на испанском языке (ага, про волочаевские дни там хорошо слышится). Можно только пожалеть алгоритм классификации радио Пандоры, ведь в остальных случаях он вполне работает. Не стреляйте в компьютер, он классифицирует, как умеет. Если музыка шаманская, он ее так и отклассифицирует -- слов-то он не понимает...

Как я понял, где-то в интернете открыли очередную ёмкость Пандоры, где моему системно-инженерному хей-хейя приписывают особую пропагандистскую силу в области австрийской экономики, и почему-то мою ученическую (потребительскую) позицию по отношению к австрийской школе именуют производительной (т.е. причисляют меня к числу австрийских экономистов, порождающих значимые в рамках этой школы результаты). Эй, я не ученый-австриец! у меня нет работ по австрийской экономике! Я не поднимаю планку австрийской школы, я просто пишу о ней в своем блоге! Я, конечно, высказываюсь по проблемам идиотизма нынешней власти (не только российской), но кто этого не делает? Не считать же эти высказывания научными статьями! Научные статьи должны определять понятия, вводить между ними связи, как-то формулировать гипотезы, соотносить эти гипотезы с реальностью хотя бы путем мысленного эксперимента. Ничего я этого не делаю.

С другой стороны, я вполне мог бы это все делать -- и тогда я бы претендовал, что являюсь экономистом, даже если не вывел ни одной цифряной модельки.

Я поражаюсь наивности наших мейнстримовских экономистов, которые пытаются рассуждать о разных моделях. Модели -- это мой хлеб, я занимаюсь профессионально моделированием много-много лет, еще со студенческой скамьи. Сейчас я занимаюсь моделеориентированной системной инженерией, поэтому не нужно считать, что в этом деле я не профессионал.

Так вот, мейнстримовские экономисты ничего не понимают в моделях, заявляю ответственно -- они считают узкий класс численных моделек всем моделированием! Они считают, что в других моделях нет математики! Они смешат мои тапочки, они отстали на полвека. Современное моделирование тем и сильно, что от чисто численных моделей стремительно уходит в другие типы моделирования -- не менее строгие. Я даже не буду эту тему тут разворачивать, ибо надеюсь, что их в Гугле еще не забанили. Но если уж очень хочется, то могут начать, например, с моего еще летнего постинга http://ailev.livejournal.com/721298.html, где я как раз защищаю аналитическое моделирование от "критики справа". Или постинга http://ailev.livejournal.com/747288.html, где я приводил темы современных конференций по моделированию.

Поэтому я бы нашим мейнстримовцам-экономистам вчинил бы встречный иск: не оболванивайте людей, не вешайте им шоры на глаза по поводу того, что является истинным моделированием и истинной экономикой.

Австрийская школа двигается примерно так же, как современные исследователи: она порождает понятийные метамодели (а праксеология -- метаметамодели), при помощи которых можно выражать модели конкретной реальности. Абсолютно не понимаю, почему везде такое метамоделирование признается наукой (даже само слово метамодель встречается все больше в научных журналах сегодня, и довольно медленно идет в практику -- слишком свеженькая терминология), а вот в экономике метамоделирование наукой не признается.

Я, замечу, именно поэтому и люблю австрийскую школу, что она серьезно относится к онтологическим и эпистемологическим вопросам, серьезно относится к своему методу. И не позволяет этот метод профанировать, сводя экономические понятийные модели только к аналитическим/математическим. Австрийская школа как раз и занимается Моделированием, а мейнстрим от нее в этом плане безнадежно отстал.

Ничего, скоро экономмейстрим сообразит, что промахнул мимо поворота, и вместо нынешнего массового подсаживания на Modelica породит чудовищный UML 2 Profile для своих надобностей -- EconML -- и будет применять его так же неуклюже, как сейчас численные методы. А я буду лениво ругать этот EconML по той же линии, что сейчас ругаю самый модный язык мейнстрима системной инженерии -- SysML. И мейнстримные экономисты в очередной раз запишут меня во враги народа. Но это будет еще через десять лет, в мейнстриме обычно не торопятся.

UPDATE: вот, кстати, еще пример пользователя экономавстризма -- http://screamager.deadjournal.com/445848.html (осторожно, там много абсолютно ненормативной лексики). Пора бы господам экономученым привыкнуть, что есть и просто пользователи их теорий -- и эти пользователи либо удовлетворены практическими результатами, либо нет.
23 comments|post comment

navigation
[ viewing | December 12th, 2009 ]
[ go | previous day|next day ]