Benefits
In the pipes & filters example, the constraints ensure a lack of deadlock
- In any instantiation of the style that satisfies the constraints
One can think of the constraints as obligations on the designer and on the implementor
- Some properties can be automatically checked