Contraints, Rules and Modelisation in a Meta-CASE Tool