TeMoCNL: Prototype Environment for Controlled Natural Language Specification and Deterministic Translation of Temporal Requirements to LTL

TeMoCNL is a prototype environment for specifying temporal requirements in a controlled natural language, validating them both individually and across requirement sets, and translating them into formal artifacts such as Linear Temporal Logic (LTL) and inspectable intermediate representations.

This archived software artifact accompanies a Master's thesis in computational science. It contains the TeMoCNL prototype implementation, including the grammar, backend services, frontend application, tests, and example requirement sets in `temocnl-data/` that are intentionally included for demonstration, evaluation, and reproducibility.

The prototype is implemented as a Java 17 / Spring Boot application with an integrated frontend.

Recommended local start command:
mvn -Prun-with-frontend clean spring-boot:run