eclipse-esmf / esmf-semantic-aspect-meta-model

Formal and textual specification of the Semantic Aspect Meta Model (SAMM)
https://eclipse-esmf.github.io/samm-specification/snapshot/index.html
Mozilla Public License 2.0
46 stars 9 forks source link

[BUG] Model with '... samm:Constraint.' statements is valid. #274

Closed Yauhenikapl closed 7 months ago

Yauhenikapl commented 7 months ago

Describe the bug HTML Generation doesn't render the graph, because users use empty '... samm:Constraint.' statements.

:UnitofMeasureunitOfMeasurePropertyTrait a bamm-c:Trait; bamm-c:baseCharacteristic :UnitofMeasureunitOfMeasure; bamm-c:constraint :UnitofMeasureunitOfMeasureConstraint. :UnitofMeasureunitOfMeasureConstraint a bamm:Constraint.

Constraint - is parent class for others constraints.

Also, if we validate model with 'samm:Constraint.' declaration, this model will valid.

Model with that types of constraint has to be invalid.

Where aspect-meta-model-shapes.ttl

Example of .ttl file: ProductBOMMessageRoot.txt