orchestrata_ultimate.verification.requirements

Reference › orchestrata_ultimate › verification › requirements

Requirements parsing and constraint extraction.

The requirements package is where natural language becomes formal constraints in the verification subsystem. requirements_parser extracts Constraint objects from free text with regular expressions. constraint_definitions offers a catalogue of predefined constraints by type and id. prolog_generator renders constraints as Prolog source with a simple syntax check.

Text flows into the parser, constraints come out, and the generator turns them into Prolog; the evaluator in the constraints package then judges them. The modules are libraries with no entry point and are not imported by other modules in the package. Start with the parser.

4 modules, 422 lines of code.

Modules

Dependency diagram