La llamada a un procedimiento especifica la relación entre los parámetros reales y los formales y ejecuta el procedimiento. Los parámetros se asocian normalmente por posición, aunque, opcionalmente, también se pueden asociar por nombre. Si el procedimiento tiene parámetros formales por omisión, no es necesario asociarles un parámetro real.
procedure_call_statement ::= procedure_name; | procedure_prefix actual_parameter_part; actual_parameter_part ::= (parameter_association {, parameter_association}) parameter_association ::= [formal_parameter_selector_name =>] explicit_actual_parameter explicit_actual_parameter ::= expression | variable_name
procedure Ejemplo (A, B: in Integer; C: out Float; D : in out Character); ...
X, Y : Integer; C : Character; R : Float; ...
Ejemplo (X, Y, R, C); Ejemplo (X, 12 * 3, R, C); Ejemplo (A => X, B => Y, R, C);