Wrong post-condition on Archetype.concept_name()
Raise
Analysis
Raise
Analysis
Description
Activity
Show:
Sebastian Iancu April 5, 2024 at 8:50 PM
Added this to fix version AM 2.4.0 to be discussed in the context of future AM release(s), although this is specific to AOM1.4.
Details
Details
Reporter
Pablo Pazos
Pablo PazosLabels
Components
Affects versions
Priority
Created August 31, 2023 at 12:39 AM
Updated April 5, 2024 at 8:50 PM
REF https://specifications.openehr.org/releases/AM/Release-2.2.0/AOM1.4.html#_archetype_class concept_name ( a_lang: String[1] ): String post-condition: Result.is_equal (definition.node_id) Meaning: The concept name of the archetype in language a_lang; corresponds to the term definition of the concept attribute in the archetype ontology. With that definition it's impossible to comply with the post-condition, since the result is the name of the definition.node_id, and the post-condition is comparing the name for the node_id with the node_id.