Registre de correu electrònic: Formalisation of the sofware component ontology specification