search

aas-core-works / aas-core-meta

Provide formalized meta-models for Asset Administration Shell (AAS).
Other
10 stars 3 forks source link

[V3] Follow text to re-write logic of AASd-129 #249

Closed mristin closed 1 year ago

mristin commented 1 year ago

We had another look at the text of the invariant:

Constraint AASd-129: If any qualifier kind value of a Submodel element qualifier is equal to TemplateQualifier then the submodel element shall be part of a submodel template, i.e. a Submodel with submodel kind value is equal to "Template".

We understand it in a simplified form as follows. If any qualifier of a submodel element is a template qualifier, then the submodel kind is equal to "Template".

We adapt the logic of the submodel invariant accordingly.

mristin commented 1 year ago

@s-heppner @zrgt please review at your convenience and feel free to revert! I simply couldn't wrap my head around it when writing the generation of the test data.