next up previous contents index
Next: Interface Inheritance Up: Interface Structure Previous: Limitations of protocols and   Contents   Index


Limitations of protocol state changes

The PCM does not allow state changes of protocols / components with respect to call-parameters of provided services.

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



Snowball 2007-03-16