To achieve this we need to be able to validate that the models themselves are self-consistent and that individual messages conform to the models.
We want to start with a generic information model such as the HL7 RIM1 or the OpenEHR reference model2.