constraint_codes : List<String> specialisation_depth : Integer term_attribute_names : List<String> term_codes : List<String> terminologies_available : Set<String> | View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Attributes | Operations | Relations | Constraints |
| Attributes | ||||
| Signature | Optionality | Multiplicity | Constant | Documentation |
| constraint_codes : List<String> | 1 | -- | List of all term codes in the ontology. These correspond to the "ac" codes in an ADL archetype, or equivalently, the CONSTRAINT_REF . reference values in the archetype definition. | |
| specialisation_depth : Integer | 1 | -- | Specialisation depth of this archetype. Unspecialised archetypes have depth 0, with each additional level of specialisation adding 1 to the specialisation_depth. | |
| term_attribute_names : List<String> | 1 | -- | List of `attribute' names in ontology terms, typically includes `text', `description', `provenance' etc. | |
| term_codes : List<String> | 1 | -- | List of all term codes in the ontology. Most of these correspond to "at" codes in an ADL archetype, which are the node_ids on C_OBJECT descendants. There may be an extra one, if a different term is used as the overall archetype concept_code from that used as the node_id of the outermost C_OBJECT in the definition part. | |
| terminologies_available : Set<String> | 1 | -- | List of terminologies to which term or constraint bindings exist in this terminology. | |
| Attributes from Associations | ||||
| Signature | Optionality | Multiplicity | Documentation | |
 | parent_archetype : ARCHETYPE | 1 | -- | |
| Operations | ||
| Signature | Constraints | Documentation |
 constraint_binding(a_terminology : String, a_code : String)
:
String |
pre: has_terminology(a_terminology_id) and constraint_codes.has(a_code) | Binding of constraint corresponding to a_code in target external terminology a_terminology_id , as a string, which is usually a formal query expression. |
| constraint_definition(a_lang : String, a_code : String)
:
ARCHETYPE_TERM |
pre: has_language(a_lang) and constraint_codes.has(a_code) post: is_set=not is_ordered and is_unique | Constraint definition for a code, in a specified language. |
| has_language(a_lang : String)
:
Boolean | True if language `a_lang' is present in archetype ontology. | |
| has_terminology(a_terminology : String)
:
Boolean |
pre: has_terminology(a_terminology_id) pre: has_terminology(a_terminology_id) and term_codes.has(a_code) | True if terminology `a_terminology' is present in archetype ontology. |
| term_binding(a_terminology : String, a_code : String)
:
CODE_PHRASE |
pre: has_terminology(a_terminology_id) and term_codes.has(a_code) | Binding of term corresponding to a_code in target external terminology a_terminology_id as a CODE_PHRASE . |
| term_definition(a_lang : String, a_code : String)
:
ARCHETYPE_TERM |
pre: has_language(a_lang) and term_codes.has(a_code) | Term definition for a code, in a specified language. |
| Constraints | ||
| Name | Expression | |
| term_bindings_exists | inv: term_bindings <> void | |
| terminologies_available_exists | inv: terminologies_available <> void | |
| term_attribute_names_valid | inv: term_attribute_names <> void and term_attribute_names.has('text') and term_attribute_names.has('description') | |
| constraint_bindings_exists | inv: constraint_bindings <> void | |
| parent_archetype_valid | inv: parent_archetype <> Void and parent_archetype.description = Current | |
| constraint_codes_exists | inv: constraint_codes <> void | |
| concept_code_valid | inv: term_codes.has (concept_code) | |
| term_codes_exists | inv: term_codes <> void | |