AADL naming/syntax rules: start