A formal approach to software components classification and retrieval