Parameterization

The first construct is for definition of policy templates. For example, in defining the floor control policy in section 3 to control the drawing floor, we discover that it also applies to the audio floor and the video floor in multimedia collaborations[7]. It would be advantageous then to formalize the floor name so that the same specification can be reused.

Then we can actualize this policy template by replacing the formal ``Floor'', such as sfc<drawing-floor> and sfc<audio-floor>, which becomes the name of a collaboration type. Multiple formal names in a policy template are allowed. The occurrences of each will be substituted by corresponding actual names.