A structural model artefact representing a domain-level realization of Reference Model class lra::technical::en13606::extract::COMPOSITION intended for use within one or more specified areas of interest within the domain of the LRA.
Specializes
LraTechnicalModelArtefact
Constraints
| Type | Name | Specification |
|---|---|---|
| ConstrainedDomainModelClass instance of type COMPOSITION contains a reference zero or one Composition Content Constraint | Invariant | let c : ConstrainedDomainModelClass = self.packagedElement->select(Element: e | e.oclAsType(ConstrainedDomainModelClass).referenceClass.qualifiedName = "lra::technical::en13606::extract::COMPOSITION")->first().oclAsType(ConstrainedDomainModelClass) in c.constraintBinding->select(ConstraintBinding: cb | cb.constraint.oclIsTypeof(CompositionContentConstraint))->size() <= 1 |
| Instance contains an association to each of one or more ConstrainedDomainModelClass instances of type ENTRY | Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(Association).memberEnd->exists(Property: p | p.class.oclAsType(ConstrainedDomainModelClass).qualifiedName = "lra::technical::en13606::extract::ENTRY")) >= 1 |
| Instance contains one ConstrainedDomainModelClass instance of type AUDIT_INFO | Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(ConstrainedDomainModelClass).referenceClass.qualifiedName = "lra::technical::en13606::extract::AUDIT_INFO")->size() = 1 |
| Instance contains one ConstrainedDomainModelClass instance of type COMPOSITION | Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(ConstrainedDomainModelClass).referenceClass.qualifiedName = "lra::technical::en13606::extract::COMPOSITION")->size() = 1 |
| Instance contains one or more ConstrainedDomainModelClass "Participant" instances | Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(ConstrainedDomainModelClass).referenceClass.qualifiedName = ("lra::technical::en13606::extract ::FUNCTIONAL_ROLE" or "lra::technical::participations::LANGUAGE_COMMUNICATION" or "lra::technical::participations::ROLE_RELATIONSHIP" or "lra::technical::participations::PERSON_ROLE" or "lra::technical::participations::ORGANISATIONAL_ROLE" or "lra::technical::participations::DEVICE_ROLE" or "lra::technical::participations::ENVIRONMENT_ROLE" or "lra::technical::participations::PERSON_ENTITY" or "lra::technical::participations::ORGANISATION_ENTITY" or "lra::technical::participations::DEVICE_ENTITY" or "lra::technical::participations::PLACE_ENTITY"))->size() >= 0 |
| Instance contains one or more ConstrainedDomainModelClass instances of type PARTICIPATION | Invariant | inv: self.packagedElement->select(Element: e | e.oclAsType(ConstrainedDomainComponent).referenceClass.qualifiedName = "lra::technical::en13606::extended::PARTICIPATION")->size() >= 1 |