A structural model artefact representing a model representing a domain-level realization of Reference Model class lra::technical::en13606::extract::ENTRY.
Specializes
LraTechnicalModelArtefact
Constraints
| Type | Name | Specification |
|---|---|---|
| Instance contains an association to each of one or more DomainModelClass instances of kind ELEMENT | Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(Association).memberEnd->exists(Property: p | p.class.oclAsType(DomainModelClass).qualifiedName = ("lra::technical::en13606::extract::FINDING_OBSERVATION_ELEMENT" or "lra::technical::en13606::extract::PROPERTY_OBSERVATION_ELEMENT" or "lra::technical::en13606::extract::GENERAL_ACTIVITY_ELEMENT" or "lra::technical::en13606::extract::MATERIAL_ACTIVITY_ELEMENT" or "lra::technical::en13606::extract::INVESTIGATION_ACTIVITY_ELEMENT" or "lra::technical::en13606::extract::UNBOUND_DATA_ELEMENT"))) >= 1 |
| Instance contains one DomainModelClass instance of type ENTRY | Invariant | inv: self.packagedElement->select(Element: e | e.oclIsTypeOf(DomainModelClass))->size() = 1 and self.packagedElement->exists(Element: e | e.oclAsType(DomainModelClass).referenceClass.qualifiedName = "lra::technical::en13606::extract::ENTRY") |