Is your task related to a problem? Please describe.
The formal part of the specification is described using the Shapes Constraint Language (SHACL). However, the shapes are not thorough enough to catch all invalid constructs. This leads to the situation in which the model validator (e.g., using bamm-cli) reports a model as valid when it actually is not; when the model is then loaded it can crash the tooling.
Describe the solution you'd like
Systematically go through all exceptions than can be thrown in the sds-sdk upon loading a model and encoding the corresponding failure mode correctly as a SHACL shape in the meta model.
Is your task related to a problem? Please describe. The formal part of the specification is described using the Shapes Constraint Language (SHACL). However, the shapes are not thorough enough to catch all invalid constructs. This leads to the situation in which the model validator (e.g., using bamm-cli) reports a model as valid when it actually is not; when the model is then loaded it can crash the tooling.
Describe the solution you'd like Systematically go through all exceptions than can be thrown in the sds-sdk upon loading a model and encoding the corresponding failure mode correctly as a SHACL shape in the meta model.