Declarative Software Specification

Define software with SSOT DSLs — UI, service logic, API contracts, data schemas, infrastructure

STML — SSOT Template Markup Language

A framework-independent UI declaration language. Define what pages show and do with HTML5 data-* attributes, validate symbolically against OpenAPI, and generate React code.

SSaC — Service Sequences as Code

Declare service logic in Go comments and generate implementation code. 10 fixed sequence types cover all binary-contract operations in the service layer.