, , :
Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum