Advanced TM Validation

[egekorkan]

We need to have a more advanced validation of TDs and TMs that refer to each other in different ways.

These different ways are explained at https://w3c.github.io/wot-thing-description/#thing-model but some examples are:

• respecting tm:optional (or not respecting non-optional)
• making sure that types are not overwritten

We should implement this, first in the core as a separate file since such requests to fetch TMs may not work on the browser. Integrating it into the CLI would be the next step.

• Probably, the code needs to go here: https://github.com/thingweb/thingweb-playground/blob/master/packages/core/shared.js
• Maybe some assertions can be used:
  • https://github.com/thingweb/thingweb-playground/blob/master/packages/assertions/assertionTests-td.js
  • https://github.com/thingweb/thingweb-playground/tree/master/packages/assertions/assertions-td
• A lot of advanced TM examples can be found at: https://github.com/eclipse-ditto/ditto-examples/tree/master/wot/models . Also at https://github.com/w3c/wot-testing/tree/main/data/input_2022 but this needs some digging up to find the relatable ones.

Also see: https://w3c.github.io/wot-thing-description/#thing-model-td-generation-examples

The return of this validation should be more intelligent than a simple boolean. The input TD or TM may not have issues but the linked ones may.

We should first start with an analysis of what kind of validations are needed. All the assertions are at https://w3c.github.io/wot-thing-description/testing/report11.html#automated_validation_results . The ones relating to TMs start with thing-model- or tm-

[egekorkan]

The procedure has to be conformant to https://w3c.github.io/wot-thing-description/#thing-model-td-generation

[egekorkan]

So for now, we have agreed to do this in 3 PRs:

1. Doing top level affordance checks and look if they respect tm:optional. PR Advanced TM validation Part 1 #383 is doing that
2. Doing JSON Structure and Value checks: Basically seeing if all the keys and values of the TM are in the TD
3. Resolving the TM links via node-wot tools to have a full TM that can be used in step 2.