I am teaching a software design patterns unit next semester. It feels like the there should be some verification associated with some of the design patterns. For example, decorators for objects should be transparent, should allow recursive nesting, should allow reordering etc. If you have worked in this space where patterns are used, do you know what is used in the industry? or is there research in the academia? Are the original GoF design patterns still relevant in the industry? has there been any community accepted refinement on GoF, or has design patterns been superseded?