Skip to content

Latest commit

 

History

History
48 lines (30 loc) · 2.95 KB

constraints.md

File metadata and controls

48 lines (30 loc) · 2.95 KB

Constraints

Purpose: Verify that the features provided in the dataset adhere to the constraints specified in the INSPIRE application schema.

Prerequisites

Test method

The following check shall be manually performed for every feature in the dataset:

  • The COD attribute shall be provided only if the diseaseMeasureType attribute of diseaseMeasure takes a value that represents mortality.

The following checks are automatically performed for every feature in the dataset:

  • Disease feature type:

    • At least one of pathology and COD attributes must not be empty (OCL: inv:self.COD->Empty implies self.pathology-> notEmpty inv:self.pathology->Empty implies self.COD -> notEmpty).

  • EnvHealthDeterminantMeasure feature type:

    • An environmental health determinant measure shall be provided either as measure (attribute measure) or category of measure (attribute category).

Reference(s):

Test type: Manual + Automated

Notes

Verify that the OCL constraints that are specified in the UML model of the application schema are met, i.e. validate features against the constraints. For unmet constraints report constraintViolation.

Messages

Identifier Message text (parameters start with '$')
constraintViolation XML document '$filename', $featureType '$gmlid': The constraint '$constraint' is violated.

Contextual XPath references

The namespace prefixes used as described in README.

Abbreviation XPath expression Multiplicity Voidable
COD //schema-element(hh:Disease)/hh:COD/@xlink:href 0..1 No
pathology //schema-element(hh:Disease)/hh:pathology/@xlink:href 0..1 No
diseaseMeasureType //schema-element(hh:Disease)/hh:diseaseMeasure/hh:DiseaseMeasure/hh:diseaseMeasureType/@xlink:href 1 No
measure //schema-element(hh:EnvHealthDeterminantMeasure)/hh:measure
//schema-element(hh:EnvHealthDeterminantNoiseMeasure)/hh:measure
//schema-element(hh:EnvHealthDeterminantConcentrationMeasure)/hh:measure		 0..1 No
category //schema-element(hh:EnvHealthDeterminantMeasure)/hh:category/@xlink:href
//schema-element(hh:EnvHealthDeterminantNoiseMeasure)/hh:category/@xlink:href
//schema-element(hh:EnvHealthDeterminantConcentrationMeasure)/hh:category/@xlink:href		 0..1 No