...
Verification Support
Correctness
Check that:
[ ] Each trace from the data concept in the information definition is to the AIRM concept that has an equivalent or wider meaning.
[ ] Each trace from the data type in the information definition is to the AIRM data type that has an equivalent or wider meaning.
Examples
The following example shows how the trace could look in XML Schema. The trace is to the AIRM concept. An attribute has been added to record the dataType tracing.
...