которые “моделью” язык не повернётся назвать. Кроме того, использование моделирования связано с затратами (закупка софта моделеров, обучение людей), и на одном проекте эти затраты могут не окупиться. Ах, кроме того, некогда закупать моделеры и отвлекать людей от срочных задач. На втором, третьем, десятом проекте ситуация повторяется, и так годами.

2. Существующий софт моделирования (моделеры) и поддерживаемые им языки моделирования плохи: неточно отражают моделируемые объекты. Например, не отражают основное инженерное понятие — понятие “система”. Да, каждые пятьдесять лет появляются новые языки моделирования и новое поколение программного обеспечения, но по-настоящему хороших и универсальных до сих пор нет. Без языков же и софта моделировать невозможно.

3.Модели (и результаты моделирования, например, расчёт по модели) оказываются непонятными людям. Решение об использовании моделирования принимают часто не непосредственные пользователи модели, а совсем другие люди — менеджеры и финансисты, которые ничего сами в моделировании не понимают, но знают, что в моделях есть ответ на нужные им вопросы. “Продать” им модели, в которых они не могут найти ответы на свои вопросы очень трудно. Современные моделеры не генерируют “попсовую” инфографику, они часто очень убоги в части дизайна. Поэтому решение об освоении технологии моделирования не принимается: уход денег очевиден, польза неочевидна, результаты непонятны.

4.Модели являются хорошим средством накопления знаний в организации. Если никто не заинтересован в накоплении знаний, то и интерес к моделированию слабый: зачем спрашивать модель, если всегда можно спросить Иван Иваныча? Ах, жаль, что он всегда занят, и его ответ нельзя распечатать и послать по почте, и вообще он пару недель болел в прошлом месяце. Но знания-то в нём есть! Мысль

же о том, что эти знания можно отделить от Ивана Ивановича в виде модели — эта мысль обычно не обсуждается, тем более что “искусственного интеллекта всё равно не сделать” и “экономически вы это ваше моделирование всё одно не обоснуете” (что правда).

Тем не менее, если посмотреть на происходящее в менеджменте и инженерии за последние пятнадцать лет, то из состояния “почти нигде, кроме самых развитых компаний” моделирование перешло в состояние “почти везде, кроме самых отсталых компаний”.

Информатика

Граница между онтологизированием, моделированием и программированием очень, очень зыбка и неопределённа. Все они — предмет изучения информатики (не путать с computer science), дисциплины по работе агентов (людей и компьютеров) с текстами и кодами.

Текст — понимается тут как "всё есть текст" ("text" is any object that can be "read," [человеком] whether this object is a work of literature, a street sign, an arrangement of buildings on a city block, or styles of clothing), неформален в части семантики и синтаксиса использованного в нём языка.

Код — формальное в части семантики и синтаксиса использованного языка представление какого-то содержания, независимо от сериализации в строку буковок или оставления в виде какого-нибудь графа, таблиц или триплов.

Особо нужно обсуждать действия в информатике: "акты" (в том числе речевые акты) и "вычисления" (в том числе отработка инструкций компьютером).

Информатика-в-малом — это когда работу с текстами и кодами ведёт один агент (компьютер или человек). Информатика-в-большом — когда в работе с текстами и кодами участвует много агентов.

Дисциплины информатики:

●(философская) логика, объектом практик которой является поиск наиболее компактных описаний для связи текстов и кодов с реальным миром, а также выражения связи с реальным миром формальных и неформальных языков, на которых представлены тексты и коды. Можно считать, что философия языка

— это тоже сюда.

●когнитивная наука (cognitive science), объектом практик которой является поиск наиболее компактных описаний для понимания (перевод текстов и кодов во внутреннее представление в голове человека) и писательство (порождение текстов и кодов из внутреннего представления в голове человека).

●лингвистика, объектом практик которой является поиск наиболее компактных описаний кодирования текста и отекстовки кодов.

●компьютерная наука (computer science), объектом практик которой является поиск наиболее компактных описаний перекодирования.

Сюда вполне можно отнести и биосемиотику (в варианте http://galicarnax.livejournal.com/39260.html).

Все эти дисциплины обладают немеренным шовинизмом, то есть пытаются прихватить в свой состав практики смежных дисциплин, поэтому границы между ними весьма расплывчаты. Тем не менее, специалисты одной дисциплины практически не понимают специалистов другой дисциплины, ибо их предметы крайне разнятся, а сообщества почти не пересекаются (подробнее: http://ailev.livejournal.com/1008054.html).

Важно понимать, что текст и код тут понимаются как описывающие что-то (возможно, бывшее, будущее или даже фантастическое и невозможное) в мире, то есть интересует даже не просто “математика работы с текстами/кодами”, а и отношение результатов этой работы к окружающему миру — онтологизирование и моделирование акцентируют именно этот аспект, в то время как программирование уделяет этому аспекту недостаточное внимание.

Принципы моделеориентированности

Работы группы AtlanMod (http://www.emn.fr/z-info/atlanmod/index.php/Main_Page)

посвящены подходу model-driven engineering (моделеориентированная инженерия). Как -based, так и -driven оба переводятся как -ориентированная, но имеют разный смысл. -Based означает, что для решения каких-то задач выполняется моделирование. Далее человек смотрит на результаты моделирования (расчёт, текст, чертёж, диаграмму) и делает очередную модель (расчёт, текст, чертёж, диаграмму). А вот -driven означает, что модель является основным, что работает — на неё не “глядят для осмысления, и сочиняют другую модель”, а она компьютерно преобразуется с добавлением новых данных в другую необходимую модель. Часто про model-driven подход говорят как о преобразованиях (transformation) моделей.

Вот десять принципов model-driven engineering, сформулированные Jean Bezivin (один из бывших руководителей группы AtlanMod, далее мы цитируем по его презентации