A set of plugin eclipse validating C and XMI files using OCL and XSD constraints on XMLs