Elias Groot

Software Lead, Project Administrator

Formal Specification

A formal specification is used to formalize which values in HTTP requests, JSON or YAML file are considered valid. These specifications are often published as JSON schemas that can be used to auto-generate parsing and validation code for various programming languages. All our specifications are published in the Rover repository here.

Auto-generating Code

We use the following tools to auto-generate code from specifications:

• QuickType for JSON and YAML files as used for a service.yaml and the bootspec
• OpenAPI generator for the Roverd API specification