There exists a work-around that is applicable in special cases. If one assumes a finite number of possible parameter values that are actually called, one can emulate a behaviour, where the protocol state of a component changes according to called parameters. Therefore one has to introduce additional signatures. For every parameter value that should cause a change of state a new signature is introduced. Finally these new signatures are called instead of the original one. This allows components to change their state through the use of different signatures.
TODO: Search a place in the appendix for this chapter