5. Системное моделирование

5.4. Аннотирование типами с использованием нотации ::

Ознакомьтесь с примером в первой строке таблицы. При необходимости повторите теоретический материал по нотации ::
Для предложений из таблички сделайте дубль, указав типы всех объектов и отношений, как показано в первой строке.
Заполните пустые ячейки и напишите несколько примеров из рабочих и личных проектов.
Аннотирование типами с нотацией ::
Без типов
С типами
Заметки
1
Летит самолёт.
Летит::функция Самолёт::система.
2
Молоток бьёт по гвоздю.
3
Вася работает инженером
4
Компьютер состоит из корпуса, материнской платы, клавиатуры и экрана.
5
Роза — это цветок.
6
Управляет, ведёт::ролевое поведение Водитель::роль Автомобиль::система
7
Приведите примеры из рабочего проекта:
8
9
10
Приведите примеры из личного проекта:
11
12
There are no rows in this table

Теория из учебников и

Присвоение типа нужно, чтобы вы всегда понимали, какие операции с объектом можно делать, а какие нельзя; а еще чтобы вы всегда знали, о чем именно вы говорили.
Методологическое мышление находит в ситуации объекты типов и обращает на них внимание, заставляет о них рассуждать. Без этого не будет и системного мышления.
Для начала воспользуемся текстовым моделированием.
Будем обозначать значком :: (два двоеточия) тип упомянутого объекта, чтобы показать тип размышления. В бытовой речи это часто было бы или «тип объекта» (агент Вася) или «объект-тип» (Вася-агент), но мы не полагаемся на совсем уж бытовой язык и отношение классификации будем показывать значком ::, приводя сначала объект, а затем его тип.
Как читать эти выражения? Считать это подсказками для улучшения понимания (Форд::автомобиль, Форд::президент США, Форд::основатель ФордМоторс::компания — типы существенно облегчают понимание значения слов).
Основное: для каждой объекта/сущности/понятия в жизни нужно разобраться с его типом.
Want to print your doc?
This is not the way.
Try clicking the ⋯ next to your doc name or using a keyboard shortcut (
CtrlP
) instead.