OpenU.Ru
Фактическое значение, соответствующее определенному параметру.
См. binding; parameter;
substitutability principle.
Семантика
У реального экземпляра сообщения есть список значений
аргументов, каждое из которых должно быть совместимо с типом данных, объявленным
в соответствующем параметре сигнала или операции. Значение аргумента считается
совместимым, если его класс или тип данных совпадает или является потомком типа
данных, объявленного в параметре. Следуя принципу подстановочности, значение
аргумента потомка может использоваться везде, где объявлено значение аргумента
предка.
В кооперациях и конечных автоматах действия
могут быть описаны выражениями. В этих выражениях
есть вызовы и отправляемые сообщения, для которых требуется спецификация аргументов.
Спецификациями аргументов также являются выражения. В работающей системе эти
выражения должны иметь значения, совместимые с соответствующими объявленными
параметрами.
Однако при связывании параметров шаблонов, аргументы появляются в UML-модели
уже во время моделирования. В этом случае они представлены в виде выражения
на каком-либо языке, чаще всего на языке ограничений или языке программирования.
Аргументы шаблона могут содержать не только обычные значения данных и объектов,
но также и сами классификаторы. В последнем случае типом соответствующего параметра
будет Классификатор или другой метатип. Значение аргумента шаблона должно определяться
во время моделирования. Не используйте шаблоны, если
параметры не были связаны при моделировании.