A formal representation of functional size measurement methods