Systems-Modeling / SysML-v2-Pilot-Implementation

Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
GNU Lesser General Public License v3.0
114 stars 23 forks source link

ST6RI-742 LifeClass implicit specialization is not correct #546

Closed seidewitz closed 3 months ago

seidewitz commented 3 months ago

As part of the underlying semantics for individuals, every individual definition is required to by the constraint validateOccurrenceDefinitionLifeClass to have "exactly one ownedMember that is a LifeClass". Further, the constraint checkLifeClassOccurrenceSpecialization requires that “A LifeClass must specialize its individualDefinition." However, do to a bug in the LifeClassAdapter, this implicit specialization was not being added. This PR fixes that bug.