UML (Unified Modeling Language) model with OCL (Object Constraint Language) constraints to formalize the elements involved in nourishing menu design according to the "Laws of Correct Nutrition".
Model designed and verified using USE (UML Specification Environment).
Relevant files:
- Model.use: The model specification. Load the model using USE GUI or via command line:
use Model.use
- TheMenu.cmd: A complete menu enforcing the Laws of Nutrition. After loading the model, load the menu via command line:
open TheMenu.cmd
- Model_default.clt: Auxiliary layout file for Model visualization
##The model
##Overview of the menu
##Validation