The core of this research is aimed at improving the building taxonomies issues in the context of the GESSI proposal, through the start of a new line of research for analyzing in depth those aspects concerned with formal methodologies for supporting and enhancing our proposal. This is the scope of this work of research, to show many topics that we think that can be helpful for our research work in the framework of the projects that are on going in GESSI.