'SHELL is an experimental attempt to combine an XML based representation of Design Patterns with an XML based representation of source code. By merging these it is possible to derive structural knowledge from source code related to Design Patterns. Historically such structural knowledge must be explicitly provided by the programmer by providing details scattered throughout the source code.
It is finally concluded that until a better formalism for Design Patterns are discovered Design Patterns does not facilitate checking. However other forms of structural knowledge could be included as a substitute for Design Pattern if properly formalised.'