Thesetechniques include, for example, structural partitioning, regular model search and a crosscutting code based technique known as aspects.There is a growing need to provide efficient methods and computer program products that will assist in understanding software, especially software that is modeled by a high complexity model.SUMMARY OF THE PRESENT INVENTIONA method for providing a representati