Editor’s note, September 2026. The SMART_REQS set is superseded: it described the platform’s first, YAML-based design, and the current design authors every normative model as a Primmel package. The documents remain in the platform repository as the historical record; see The SMART_REQS set.
The 11-document SMART_REQS specification set is now available on this site in draft form. Each document defines one aspect of the SMART platform:
- System Architecture
- Requirement & Conformance Model
- Form & Measurement Model
- OCL Expression Language
- Evaluation & Condition Model
- YAML Schema Specification
- Calculation Primitive
- Expression Language (AsciiMath + OCL)
- Table Primitive
- Certification Workflow Model
- Variable & Symbol Model
How to read them
If you’re new to the formal specs:
- Read 01 (System Architecture) for the overview.
- Read 02 (Requirement & Conformance Model) for the core entity types.
- Skim 06 (YAML Schema) and 07–09 (Calculation, Expressions, Table primitives) for the declaration language.
- Read 10 (Certification Workflow) if you’re integrating with OIML-CS.
For the narrative version, see the Developer Guides.