271
держит и явно неформальные составляющие. Такие особенности
UML, как точки вариации семантики
(semantic variation point) и
стандартные механизмы расширения (extension mechanism), за-
метно отличают UML от языков, которые, по общему мнению, яв-
ляются образцами формализма.
Для описания формальных искусственных языков (в частно-
сти, для описания языков программирования) придумано и ис-
пользуется множество различных способов. Однако на практике
сложилась общепринятая структура таких описаний.
Считается, что формальный искусственный язык описан
должным образом, если это описание содержит, по меньшей мере,
следующие части:
– синтаксис (syntax), то есть определение правил составле-
ния конструкций языка;
– семантику (semantics), то есть определение правил припи-
сывания смысла конструкциям языка;
– прагматику (pragmatics), то есть определение правил ис-
пользования конструкций языка для достижения опреде-
лённых целей.
Как формальный искусственный язык UML имеет синтак-
сис, семантику и прагматику, хотя эти части названы в некото-
рых случаях иначе и описаны по-другому, нежели это принято
в
текстовых языках программирования, поскольку, во-первых,
UML язык графический, а не текстовый, а во-вторых, UML язык
моделирования, а не программирования.
Слово «моделирование», входящее в название UML, имеет
множество смысловых оттенков и сложившихся способов упо-
требления.
В
отношении разработки программного обеспечения так сло-
жилось, что результаты фаз анализа и проектирования, оформ-
ленные средствами определённого языка, принято называть мо-
делью. Деятельность по составлению моделей естественно назвать
моделированием. Именно в этом смысле UML является языком
моделирования.
Как уже отмечалось, слово «моделирование» многозначно. В
частности, два английских слова «modeling» и «simulation» пере-
водятся одним словом «моделирование», хотя означают разные
вещи. В
первом случае речь идёт о составлении модели, которая
272
используется только для описания моделируемого объекта или
явления. Во втором случае подразумевается составление модели,
которая может быть использована для получения существенной
информации о моделируемом объекте или явлении. При этом во
втором случае обычно добавляется уточняющее прилагательное:
численное, математическое и др. UML является языком моделиро-
вания в
первом смысле, хотя авторам известны некоторые успеш-
ные попытки использования UML и во втором смысле.
Достарыңызбен бөлісу: