Открытая коллекция знаний

OpenU.Ru

Справочник UML. Объектно-ориентированное проектирование.

argument (аргумент)

Фактическое значение, соответствующее определенному параметру.
См. binding; parameter; substitutability principle.

Семантика

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

Алфавитный указатель