Моделирование - История изменений

Admin в 17:04, 11 июня 2022

2022-06-11T17:04:01Z

Admin в 14:37, 13 декабря 2017

2017-12-13T14:37:37Z

Admin: /* Уровни обобщения */

2016-08-24T14:32:50Z

‎Уровни обобщения

Admin в 11:56, 26 июля 2016

2016-07-26T11:56:27Z

Admin в 11:24, 26 июля 2016

2016-07-26T11:24:18Z

Admin в 11:23, 26 июля 2016

2016-07-26T11:23:59Z

Admin: /* Моделеориентированная инженерия (model-driven engineering) */

2016-07-21T19:50:03Z

‎Моделеориентированная инженерия (model-driven engineering)

Admin в 14:41, 11 мая 2016

2016-05-11T14:41:29Z

Внесённые изменения

Admin: /* Моделеориентированная инженерия (model-driven engineering) */

2015-12-21T14:45:52Z

‎Моделеориентированная инженерия (model-driven engineering)

Admin: /* Моделеориентированная инженерия (model-driven engineering) */

2015-12-18T11:31:58Z

‎Моделеориентированная инженерия (model-driven engineering)

@@ Строка 1: / Строка 1: @@
-Термин '''"моделирование"''' используют для обозначения отношения [[модель|модели]] к тому объекту, который является целью моделирования (индивиду или классу).
+Термин '''"моделирование"''' используют для обозначения отношения [[модель|модели]] к тому объекту, который является целью моделирования ([[индивид|индивиду]] или [[класс|классу]]).
 Различения Коржибски (Korzybsky) между картой и территорией: “идти по карте” это совсем не то, что “идти по территории”. Карта абстрагирует (моделирует) территорию. Более того, у карты есть “легенда”, которая абстрагирует карту. Надписи в легенде сделаны алфавитом, который абстрагирует надписи.
@@ Строка 33: / Строка 33: @@
 # '''Философско-логический:''' выбрать предельные [[Онтология|онтологии]] (''об общей природе мира'', природе описаний, природе интерпретирующего эти описания сознания).
 # '''Формально-математический:''' выбрать математический аппарат ''теории'' множеств, математической логики, теории графов, [[Теория категорий|теории категорий]], или какой-то ещё. К этому же уровню относится выбор того или иного языка программирования или языка моделирования.
-# '''Онтологический:''' договориться, что мы видим в мире, какие [[индивид|индивиды]], [[классы и отношения]] (А ещё мы можем видеть объекты и атрибуты, трансформации, прототипы, или теории — в зависимости от решений, принятых на предыдущих уровнях.) Это уже не предельная онтология с первого уровня, тут нам надо договориться о том, что нужно именно для нашей деятельности. Именно на этом уровне определяется [[системное мышление]], выясняется, в чём суть системного подхода, определяется, что такое “[[система]]” или “[[процесс]]”. Онтологический уровень тесно связан с уровнем математического формализма, но отличается от него. Если в мире есть “системы”, то на более высоком уровне можно использовать [[Теория категорий|теории категорий]] (и записывать знание теоркатегорными уравнениями) или теорию множеств (и записывать логические предикаты). Примером совместной работы специалистов одновременно на формально-математическом и онтологическом уровнях являются различные стандарты представления данных, такие, как [[ISO 15926]].
+# '''Онтологический:''' договориться, что мы видим в мире, какие [[индивид|индивиды]], [[класс|классы]] и [[отношение|отношения]] (А ещё мы можем видеть объекты и атрибуты, трансформации, прототипы, или теории — в зависимости от решений, принятых на предыдущих уровнях.) Это уже не предельная онтология с первого уровня, тут нам надо договориться о том, что нужно именно для нашей деятельности. Именно на этом уровне определяется [[системное мышление]], выясняется, в чём суть системного подхода, определяется, что такое “[[система]]” или “[[процесс]]”. Онтологический уровень тесно связан с уровнем математического формализма, но отличается от него. Если в мире есть “системы”, то на более высоком уровне можно использовать [[Теория категорий|теории категорий]] (и записывать знание теоркатегорными уравнениями) или теорию множеств (и записывать логические предикаты). Примером совместной работы специалистов одновременно на формально-математическом и онтологическом уровнях являются различные стандарты представления данных, такие, как [[ISO 15926]].
-# '''Деятельностный:''' научиться описывать человеческую деятельность, описывать [[:Категория:Дисциплины|дисциплины]] с их основными понятиями. Для этого нужно задать язык описания практик работы, язык планирования и организации работы, междисциплинарного взаимодействия, работы конкретного предприятия. На этом уровне определяются стандарты [[Ситуационная инженерия методов|ситуационной инженерии методов]], архитектуры предприятия, описания бизнес-процессов, органиграмм и т.д. С использованием понятий онтологического уровня на языке математического аппарата описываются стандартные [[классы и отношения]], создаются [[справочные данные]], специфичные для деятельности.
+# '''Деятельностный:''' научиться описывать человеческую деятельность, описывать [[:Категория:Дисциплины|дисциплины]] с их основными понятиями. Для этого нужно задать язык описания практик работы, язык планирования и организации работы, междисциплинарного взаимодействия, работы конкретного предприятия. На этом уровне определяются стандарты [[Ситуационная инженерия методов|ситуационной инженерии методов]], архитектуры предприятия, описания бизнес-процессов, органиграмм и т.д. С использованием понятий онтологического уровня на языке математического аппарата описываются стандартные классы и отношения, создаются [[справочные данные]], специфичные для деятельности.
 # '''Профессиональный:''' на этом уровне описываются конкретные виды [[Менеджмент|менеджмента]], [[Инженерия и наука|инженерии]], научных исследований и прочих профессиональных видов деятельности. Иногда этот уровень называют “методологическим” — на нём описываются [[Метод|методы]] профессиональной работы, достаточные для решения каких-то узких классов задач. Именно тут задаются основные понятия разных менеджерских и инженерных дисциплин (например, “value proposition” для менеджмента, “[[архитектура]]” для системной инженерии, "здание" для гражданского строительства). Занимаются этим профессиональные методологи и “рефлексирующие” инженеры и менеджеры, и делают они это в организациях по стандартизации, профессиональных ассоциациях, университетах. На этом уровне продолжается развитие стандартных справочных данных, уже для отдельных специальностей и профессий.
 # '''Предпринятия:''' на этом уровне описывается происходящее в конкретном [[Предпринятие|предпринятии]]. (Это не опечатка: “предпринятие” — от слова “предпринять”, но вовсе не “предприятие” как юридическое лицо. “Проект” в смысле проектного управления – это тоже ”предпринятие”). Тут с использованием профессиональных понятий моделируется (уже не мета-моделируется!) то, что происходит “в жизни”, в привязке к конкретным условиям работы в ООО “Незабудка” по проекту ремонта лифта "к празднику". Занимаются этими описаниями люди конкретного предпринятия, используя понятия и методы, созданные на всех верхних уровнях.

@@ Строка 33: / Строка 33: @@
 # '''Философско-логический:''' выбрать предельные [[Онтология|онтологии]] (''об общей природе мира'', природе описаний, природе интерпретирующего эти описания сознания).
 # '''Формально-математический:''' выбрать математический аппарат ''теории'' множеств, математической логики, теории графов, [[Теория категорий|теории категорий]], или какой-то ещё. К этому же уровню относится выбор того или иного языка программирования или языка моделирования.
-# '''Онтологический:''' договориться, что мы видим в мире, какие [[индивид|индивиды]], [[классы и отношения]] (А ещё мы можем видеть объекты и атрибуты, трансформации, прототипы, или теории — в зависимости от решений, принятых на предыдущих уровнях.) Это уже не предельная онтология с первого уровня, тут нам надо договориться о том, что нужно именно для нашей деятельности. Именно на этом уровне определяется [[Системный подход|системное мышление]], выясняется, в чём суть системного подхода, определяется, что такое “[[система]]” или “[[процесс]]”. Онтологический уровень тесно связан с уровнем математического формализма, но отличается от него. Если в мире есть “системы”, то на более высоком уровне можно использовать [[Теория категорий|теории категорий]] (и записывать знание теоркатегорными уравнениями) или теорию множеств (и записывать логические предикаты). Примером совместной работы специалистов одновременно на формально-математическом и онтологическом уровнях являются различные стандарты представления данных, такие, как [[ISO 15926]].
+# '''Онтологический:''' договориться, что мы видим в мире, какие [[индивид|индивиды]], [[классы и отношения]] (А ещё мы можем видеть объекты и атрибуты, трансформации, прототипы, или теории — в зависимости от решений, принятых на предыдущих уровнях.) Это уже не предельная онтология с первого уровня, тут нам надо договориться о том, что нужно именно для нашей деятельности. Именно на этом уровне определяется [[системное мышление]], выясняется, в чём суть системного подхода, определяется, что такое “[[система]]” или “[[процесс]]”. Онтологический уровень тесно связан с уровнем математического формализма, но отличается от него. Если в мире есть “системы”, то на более высоком уровне можно использовать [[Теория категорий|теории категорий]] (и записывать знание теоркатегорными уравнениями) или теорию множеств (и записывать логические предикаты). Примером совместной работы специалистов одновременно на формально-математическом и онтологическом уровнях являются различные стандарты представления данных, такие, как [[ISO 15926]].
 # '''Деятельностный:''' научиться описывать человеческую деятельность, описывать [[:Категория:Дисциплины|дисциплины]] с их основными понятиями. Для этого нужно задать язык описания практик работы, язык планирования и организации работы, междисциплинарного взаимодействия, работы конкретного предприятия. На этом уровне определяются стандарты [[Ситуационная инженерия методов|ситуационной инженерии методов]], архитектуры предприятия, описания бизнес-процессов, органиграмм и т.д. С использованием понятий онтологического уровня на языке математического аппарата описываются стандартные [[классы и отношения]], создаются [[справочные данные]], специфичные для деятельности.
 # '''Профессиональный:''' на этом уровне описываются конкретные виды [[Менеджмент|менеджмента]], [[Инженерия и наука|инженерии]], научных исследований и прочих профессиональных видов деятельности. Иногда этот уровень называют “методологическим” — на нём описываются [[Метод|методы]] профессиональной работы, достаточные для решения каких-то узких классов задач. Именно тут задаются основные понятия разных менеджерских и инженерных дисциплин (например, “value proposition” для менеджмента, “[[архитектура]]” для системной инженерии, "здание" для гражданского строительства). Занимаются этим профессиональные методологи и “рефлексирующие” инженеры и менеджеры, и делают они это в организациях по стандартизации, профессиональных ассоциациях, университетах. На этом уровне продолжается развитие стандартных справочных данных, уже для отдельных специальностей и профессий.

@@ Строка 34: / Строка 34: @@
 # '''Формально-математический:''' выбрать математический аппарат ''теории'' множеств, математической логики, теории графов, [[Теория категорий|теории категорий]], или какой-то ещё. К этому же уровню относится выбор того или иного языка программирования или языка моделирования.
 # '''Онтологический:''' договориться, что мы видим в мире, какие [[индивид|индивиды]], [[классы и отношения]] (А ещё мы можем видеть объекты и атрибуты, трансформации, прототипы, или теории — в зависимости от решений, принятых на предыдущих уровнях.) Это уже не предельная онтология с первого уровня, тут нам надо договориться о том, что нужно именно для нашей деятельности. Именно на этом уровне определяется [[Системный подход|системное мышление]], выясняется, в чём суть системного подхода, определяется, что такое “[[система]]” или “[[процесс]]”. Онтологический уровень тесно связан с уровнем математического формализма, но отличается от него. Если в мире есть “системы”, то на более высоком уровне можно использовать [[Теория категорий|теории категорий]] (и записывать знание теоркатегорными уравнениями) или теорию множеств (и записывать логические предикаты). Примером совместной работы специалистов одновременно на формально-математическом и онтологическом уровнях являются различные стандарты представления данных, такие, как [[ISO 15926]].
-# '''Деятельностный:''' научиться описывать человеческую деятельность, описывать [[:Категория:Дисциплины|дисциплины]] с их основными понятиями. Для этого нужно задать язык описания практик работы, язык планирования и организации работы, междисциплинарного взаимодействия, работы конкретного предприятия. На этом уровне определяются стандарты [[Ситуационная инженерия методов|ситуационной инженерии методов]], архитектуры предприятия, описания бизнес-процессов, органиграмм и т.д. С использованием понятий онтологического уровня на языке математического аппарата описываются стандартные [[классы и отношения]], создаются справочные данные, специфичные для деятельности.
+# '''Деятельностный:''' научиться описывать человеческую деятельность, описывать [[:Категория:Дисциплины|дисциплины]] с их основными понятиями. Для этого нужно задать язык описания практик работы, язык планирования и организации работы, междисциплинарного взаимодействия, работы конкретного предприятия. На этом уровне определяются стандарты [[Ситуационная инженерия методов|ситуационной инженерии методов]], архитектуры предприятия, описания бизнес-процессов, органиграмм и т.д. С использованием понятий онтологического уровня на языке математического аппарата описываются стандартные [[классы и отношения]], создаются [[справочные данные]], специфичные для деятельности.
 # '''Профессиональный:''' на этом уровне описываются конкретные виды [[Менеджмент|менеджмента]], [[Инженерия и наука|инженерии]], научных исследований и прочих профессиональных видов деятельности. Иногда этот уровень называют “методологическим” — на нём описываются [[Метод|методы]] профессиональной работы, достаточные для решения каких-то узких классов задач. Именно тут задаются основные понятия разных менеджерских и инженерных дисциплин (например, “value proposition” для менеджмента, “[[архитектура]]” для системной инженерии, "здание" для гражданского строительства). Занимаются этим профессиональные методологи и “рефлексирующие” инженеры и менеджеры, и делают они это в организациях по стандартизации, профессиональных ассоциациях, университетах. На этом уровне продолжается развитие стандартных справочных данных, уже для отдельных специальностей и профессий.
 # '''Предпринятия:''' на этом уровне описывается происходящее в конкретном [[Предпринятие|предпринятии]]. (Это не опечатка: “предпринятие” — от слова “предпринять”, но вовсе не “предприятие” как юридическое лицо. “Проект” в смысле проектного управления – это тоже ”предпринятие”). Тут с использованием профессиональных понятий моделируется (уже не мета-моделируется!) то, что происходит “в жизни”, в привязке к конкретным условиям работы в ООО “Незабудка” по проекту ремонта лифта "к празднику". Занимаются этими описаниями люди конкретного предпринятия, используя понятия и методы, созданные на всех верхних уровнях.

@@ Строка 1: / Строка 1: @@
 Термин '''"моделирование"''' используют для обозначения отношения [[модель|модели]] к тому объекту, который является целью моделирования (индивиду или классу).
-Различения Korzybsky между картой и территорией: “идти по карте” это совсем не то, что “идти по территории”. Карта абстрагирует (моделирует) территорию. Более того, у карты есть “легенда”, которая абстрагирует карту. Надписи в легенде сделаны алфавитом, который абстрагирует надписи.
+Различения Коржибски (Korzybsky) между картой и территорией: “идти по карте” это совсем не то, что “идти по территории”. Карта абстрагирует (моделирует) территорию. Более того, у карты есть “легенда”, которая абстрагирует карту. Надписи в легенде сделаны алфавитом, который абстрагирует надписи.
 '''Моделирование в широком смысле''' – это эффективное по затратам использование чего-то одного вместо чего-то другого для мыслительных целей. Это позволяет нам использовать вместо реальности что-то такое, что проще, безопаснее или дешевле чем реальность для заданной цели; модель является абстракцией реальности в том смысле, что она не может представить все аспекты реальности. Это позволяет нам иметь дело с миром упрощённым способом, обходя сложность, опасность и необратимость реальности. Формальную модель можно подвергнуть оптимизации (в том числе компьютерной).

← Предыдущая		Версия 11:24, 26 июля 2016
Строка 1:		Строка 1:
−	Термин '''"моделирование"''' используют для обозначения отношения модели к тому объекту, который является целью моделирования (индивиду или классу).	+	Термин '''"моделирование"''' используют для обозначения отношения [[модель\|модели]] к тому объекту, который является целью моделирования (индивиду или классу).

	Различения Korzybsky между картой и территорией: “идти по карте” это совсем не то, что “идти по территории”. Карта абстрагирует (моделирует) территорию. Более того, у карты есть “легенда”, которая абстрагирует карту. Надписи в легенде сделаны алфавитом, который абстрагирует надписи.		Различения Korzybsky между картой и территорией: “идти по карте” это совсем не то, что “идти по территории”. Карта абстрагирует (моделирует) территорию. Более того, у карты есть “легенда”, которая абстрагирует карту. Надписи в легенде сделаны алфавитом, который абстрагирует надписи.

@@ Строка 3: / Строка 3: @@
 Различения Korzybsky между картой и территорией: “идти по карте” это совсем не то, что “идти по территории”. Карта абстрагирует (моделирует) территорию. Более того, у карты есть “легенда”, которая абстрагирует карту. Надписи в легенде сделаны алфавитом, который абстрагирует надписи.
 '''Мета-моделирование''' - отношения между уровнями языков моделирования.
-Если принципиальная схема холодильника – это модель холодильника, то условные обозначения на схеме — это мета-модель принципиальной схемы.
+Если принципиальная схема холодильника – это [[модель]] холодильника, то условные обозначения на схеме — это мета-модель принципиальной схемы.
-−
-'''Моделирование в широком смысле''' – это эффективное по затратам использование чего-то одного вместо чего-то другого для мыслительных целей. Это позволяет нам использовать вместо реальности что-то такое, что проще, безопаснее или дешевле чем реальность для заданной цели; модель является абстракцией реальности в том смысле, что она не может представить все аспекты реальности. Это позволяет нам иметь дело с миром упрощённым способом, обходя сложность, опасность и необратимость реальности. Формальную модель можно подвергнуть оптимизации (в том числе компьютерной). В системной инженерии использование моделей настолько важно, что будущая системная инженерия называется Model-Based Systems Engineering (MBSE), прежде всего речь идёт о моделях требований и архитектурных моделях. В менеджменте тоже начало использоваться моделирование: архитектурные модели предприятия, модели бизнеса, модели рабочих процессов, финансовые модели.
-== Объект-атрибутное моделирование ==
+=== Объект-атрибутное моделирование ===
 Мета-модель "объект-атрибут" - наиболее распространённый формализм описания данных. Однако именно атрибуты (а не отношения!) являются в объект-атрибутной модели способом выделить объект из класса ему подобных. Отношения могут возникать, изменяться и исчезать (для учёта этого могут использоваться атрибуты отношений), а вот изменения атрибутов объектов мета-моделью, как правило, вообще не предусмотрены. Точнее говоря, в каждый момент времени у объекта есть только одно значение атрибута, и сохранение истории его изменений мета-модель не предполагает. Атрибутный формализм критикуют вовсе не за отсутствие формальности, тут всё в порядке, математическое обоснование у него есть. Критикуют именно неудобство моделирования мира, низкую вероятность того, что два независимых модельера без предварительных консультаций сделают одинаковые модели, пригодные к непосредственному объединению.
-== Факт-ориентированное моделирование ==
+=== Факт-ориентированное моделирование ===
 Факт-ориентированное моделирование мира целостно, но так мыслить о мире не очень привычно. Аристотелевский подход царил пару тысяч лет, а теория множеств как средство моделирования мира существует всего-то сто лет! Факт-ориентированность помогает справиться как раз с большой вариабельностью – взаимосвязанные данные приходят из разных источников, собираются там по разным правилам, хранятся в разных базах данных – то есть проблемы объединения разных данных надо решать регулярно и быстро.
@@ Строка 18: / Строка 21: @@
 [http://pubs.opengroup.org/architecture/archimate2-doc/chap10.html Пример факт-ориентированного описания языка архитектуры предприятия OpenGroup Archimate 2.1.]
 == Уровни обобщения ==

@@ Строка 46: / Строка 46: @@
 # '''Принцип соответствия''': любая модель соответствует мета-модели (моделирование одного логического уровня ведётся с использованием знаний, определённых на другом логическом уровне).
 # '''Трёхуровневая организация''': любая метамодель MM соответствует общей для них метамодели MMM). Впрочем, это Jean Besivin и AtlanMod настаивают именно на 3 уровнях моделирования, в общем случае логических уровней может быть много.
-# '''Принцип трансформации''': наиболее важная операция, применимая к модели (группа AtlanMod занимается главным образом переходом от Model-Based engineering к Model-Driven Engineering: их волнует порождение/генерирование по моделям инженерных рабочих продуктов, а не, например, имитационное моделирование или использование моделей для налаживания взаимопонимания между менеджерами, инженерами, клиентами).
+# '''Принцип трансформации''': наиболее важная операция, применимая к модели (группа AtlanMod занимается главным образом переходом от Model-Based engineering к Model-Driven Engineering: их волнует порождение/генерирование по моделям инженерных рабочих продуктов, а не, например, [[имитационное моделирование]] или использование моделей для налаживания взаимопонимания между менеджерами, инженерами, клиентами).
 # '''Принцип HOT (High-Order Transformation)''': трансформация (код, описывающий преобразование модели) это тоже модель.
 # '''Принцип переплетения (weaving)''': отношения между несколькими моделями могут быть представлены тоже как модели.

@@ Строка 64: / Строка 64: @@
 # '''Подход технического пространства (Technical Space Framework)''': любая модель имеет внешнее техническое представление (больше нет ограничений на выбор одного языка моделирования для какого-то вида моделей: нотации могут быть разными, модель одна).
-См. также [[Моделеориентированная архитектура]]
+См. также [[Моделеориентированная системная инженерия]]
 [[Категория:Концепции]]