Originally reported byLuca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
We should be able to support parameters which can be shared across automata. This is useful when a component is better represented compositionally, even if its parameters are present in more than one automaton. Otherwise, using the same parameter in different automata is prone to omissions when the value of the parameter is changed globally.
Input parameters would have no specified value and would need to be provided by an output parameter of another automaton. Internal parameters have automaton-wide scope and thus can be repeated within a system. Output parameters have system-wide scope and thus cannot be repeated. Substitution of parameters (as in parametric analysis) would still operate regardless of the visibility of the parameter.
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
We should be able to support parameters which can be shared across automata. This is useful when a component is better represented compositionally, even if its parameters are present in more than one automaton. Otherwise, using the same parameter in different automata is prone to omissions when the value of the parameter is changed globally.
Input parameters would have no specified value and would need to be provided by an output parameter of another automaton. Internal parameters have automaton-wide scope and thus can be repeated within a system. Output parameters have system-wide scope and thus cannot be repeated. Substitution of parameters (as in parametric analysis) would still operate regardless of the visibility of the parameter.