Literate Specification: A Framework for Documenting and Implementing Business Rules in the Database

Documentation Framework

The documentation is based on the rule, transformation and lifecycle sentence of this language

The language’s compiler lets obtain and store enough information for generating any kind of documentation