| Both sides previous revision Previous revision Next revision | Previous revision |
| dido:05-semantics:01-kinds-of-semantics:02-conformance-semantics [2026/07/08 03:02] – ↷ Page moved from dido:01-semantics:01-kinds-of-semantics:02-conformance-semantics to dido:05-semantics:01-kinds-of-semantics:02-conformance-semantics nick_dido | dido:05-semantics:01-kinds-of-semantics:02-conformance-semantics [2026/07/18 12:33] (current) – external edit 127.0.0.1 |
|---|
| ====== Conformance Semantics ====== | ====== Conformance Semantics ====== |
| |
| [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]] | [[dido:99_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]] |
| |
| ===== Discussion ===== | ===== Discussion ===== |
| Conformance semantics defines meaning through conformance criteria, validation rules, test cases, expected results, permitted results, prohibited results, and acceptance conditions. | Conformance semantics defines meaning through conformance criteria, validation rules, test cases, expected results, permitted results, prohibited results, and acceptance conditions. |
| |
| Conformance semantics identifies what an artefact, implementation, model, message, report, schema, rule, or runtime behaviour means when evaluated against a specified requirement or specification. A conformance test expresses semantic content because it distinguishes acceptable interpretation from unacceptable interpretation. | Conformance semantics identifies what an artifact, implementation, model, message, report, schema, rule, or runtime behavior means when evaluated against a specified requirement or specification. A conformance test expresses semantic content because it distinguishes acceptable interpretation from unacceptable interpretation. |
| |
| Conformance semantics depends on [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:t:traceability|traceability]] to the requirement, rule, policy, [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:c:conceptual_model|conceptual model]], [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:s:semantic|semantics]], [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:s:schema|schema]], [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:o:ontology|ontology]], [[fxdemo:99_part_annexes:annex-b-terms-and-definitions:r:report|report]], or other authoritative source that establishes the intended meaning. | Conformance semantics depends on [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|traceability]] to the requirement, rule, policy, [[dido:99_annexes:annex-b-terms-and-definitions:c:conceptual_model|conceptual model]], [[dido:99_annexes:annex-b-terms-and-definitions:s:semantic|semantics]], [[dido:99_annexes:annex-b-terms-and-definitions:s:schema|schema]], [[dido:99_annexes:annex-b-terms-and-definitions:o:ontology|ontology]], [[dido:99_annexes:annex-b-terms-and-definitions:r:report|report]], or other authoritative source that establishes the intended meaning. |
| |
| Conformance semantics prevents implementation behaviour from becoming the hidden source of meaning. A governed specification defines the meaning first, then defines conformance criteria that test whether an artefact preserves that meaning. | Conformance semantics prevents implementation behavior from becoming the hidden source of meaning. A governed specification defines the meaning first, then defines conformance criteria that test whether an artifact preserves that meaning. |
| |
| Conformance semantic content includes: | Conformance semantic content includes: |
| ===== Definition ===== | ===== Definition ===== |
| |
| //meaning defined through criteria, tests, expected results, and acceptance conditions that distinguish conforming interpretation or behaviour from non-conforming interpretation or behaviour// | //meaning defined through criteria, tests, expected results, and acceptance conditions that distinguish conforming interpretation or behavior from non-conforming interpretation or behavior// |
| |
| ===== Source ===== | ===== Source ===== |