?

Log in

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

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

Прототипы отакуе [05 Nov 2012|02:30pm]
Интересно, что инженеры неявно пытаются протащить прототипы в случаях, когда им навязывается строгая модель с типами. Это делается путём вставления "типичного значения" в спецификацию (например, http://iringug.org/wiki/images/1/14/SPPID_Pattern_Mappings.xls). В принципе, это изредка делается и в метамодельных стандартах -- не только описываются классы мета-модели, но и прописываются примеры того, что они изображают. Собственно, любой running example в работах по моделированию обычно для этого и предназначен, без него семантика формальных моделей простым (да и не простым) людям обычно не ясна.

Конечно, это никакого отношения к формально-прототипной семантике не имеет: компьютеры этих примеров не видят, и не опираются на них. Но зато людям сразу становится в разы понятней. Так, класс завод:строка может иметь типовое значение строки "PKRC000428" в одном случае, и "ОАО Промавиакриоавтоматика" в другом -- и люди сразу понимают, где может быть подвох.

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

Я бы требовал ТКП (три конкретных примера, чтобы не снижать "общности применений") для любых метамоделей, по факту различающих классы и экземпляры -- это неплохой способ протащить прототипную модель, если не для компьютера, то . Мне кажется, что пользы это может принести много больше, нежели вреда. Хотя это и дополнительная работа по моделированию, но можно списать эти расходы времени и нервов на валидацию: если три типовых примера придумываются с трудом, а на ум приходит только один-единственный пример, то это может быть не слишком хорошо отмоделированный класс, просто прикидывающийся классом индивид.
8 comments|post comment

navigation
[ viewing | November 5th, 2012 ]
[ go | previous day|next day ]