some issues in Composition

[Sergio Miranda Freire]

isPersistent is not implemented correctly. It should return true or false according if the value of category.definingCode.codeString is respectively 'persistent' or not. Note that the meaning of persistent in the specifications is not persistence in a database.

The invariants below should be enforced. Some of them should use the terminological service.

Is_archetype_root: is_archetype_root
Content_valid: content /= Void implies not content.is_empty
Category_validity: category /= Void and then terminology(Terminology_id_openehr).has_code_for_group_id(Group_id_composition_category, category.defining_code)
Is_persistent_validity: is_persistent implies context = Void
Territory_valid: territory /= Void and then code_set(Code_set_id_countries).has_code(territory)
Language_valid: language /= Void and then code_set(Code_set_id_languages).has_code(language)
No_parent: parent = Void