Next:
Composing Protocols
Up:
Using the Strategy Design
Previous:
Dealing with Failures.
Strategy Pattern in B
AST
Composing Protocols
Inadequacy of Inheritance Alone.
Protocol Algorithms as Strategies
Strategy/Context Interactions.
Consequences.
Reliable Multicast: an Example
Overview of the Protocol.
Recursive Use of the Strategy Pattern
Extending the B
AST
Framework
Overview of the Protocol.
Methodology for Extending B
AST
.
Benoit GARBINATO
Wed May 14 17:28:46 MET DST 1997
