Modelowanie systemu webowego z użyciem Descartes Modeling Language.

http://descartes.ipd.kit.edu/research/descartes_modeling_language/index.html

https://gitlab2.informatik.uni-wuerzburg.de/descartes/dml-examples