Validation of AADL model before refinement is applied to unrelated components
When validation is executed on a system instance prior to model refinement, the content of all files refered by the instance is validated. Only the classifiers used by the system should be validated, as there might be unrelated classifiers in the same component library file. Performance would be improved as well.