Semantic data specifications: an analysis based on a categorical formalization door F. Piessens