В естественных языках одно и то же слово часто используется для обозначения различных предметов, величин, действий, отношений. Например, словом "чай" можно обозначить не только, как напиток, но и как растение, а также его высушенные и измельчённые листья; слово "горячий" может означать разную температуру, например, 40°С или 70°С, а слово "немного" - разное количество, например, 1 или 5 граммов.
В то же время нельзя сказать, что каждое слово естественного языка можно понимать в любом смысле. Например, словом "чай" не обозначаем молоко или кофе, а словом "горячий" - свойство ледяной воды.
При создании компьютерных моделей сначала составляют предварительные модели. В них ещё используют слова естественного языка, но стремятся обеспечить как можно более высокий уровень формализации, чтобы каждое слово или любое другое обозначение в модели имело единственный смысл. Этот процесс называют формализация модели. После перевода предварительных моделей на язык программирования получаются окончательные компьютерные модели.
Элементы предварительных компьютерных моделей:
* общие и единичные имена обьектов
* описание свойств множеств обьектов
* описание отношений обьектов
* описание состава обьектов
* описание разновидностей обьектов
* пошаговые описания действий обьектов
* описание состояний конкретных обьектов
* описание структуры и поведения системы обьектов
Copyright © 2003 Пустовой А. |