DS Specifications

Domain Specifications Lists Vocabularies

Domain Specifications Lists Vocabularies

main

main

DS Specifications Overview
Domain Specifications
SDO-Verification
Lists
- List-V1
Vocabularies
DS-Vocabulary
- Input
  - Vocabulary for Domain Specifications
  - DS-Vocabulary
- DS-Vocab-V1

Powered by GitBook

On this page

Domain Specifications

DS-V7

DS-V7 - Grammar

PreviousDS-V7 - Developer Notes NextDomain Specification

Last updated 3 years ago

The grammar for DS-V7 consists of different node-types, that are used to construct Domain Specifications and Verification Reports.

Content

The grammar and semantics of Domain Specifications

The grammar and semantics of Verification Reports

Error List for the basic verification

Error List for the DS verification

Error List for the DS-meta verification