olemus
ISO/IEC 15408, CC:
väljendatud mingis piiratud süntaksiga ja määratletud semantikaga keeles
= expressed in a restricted syntax language with defined semantics

näiteid
https://arxiv.org/pdf/2007.07031

https://core.ac.uk/download/pdf/35147255.pdf

https://www.scitepress.org/PublishedPapers/2021/102712/102712.pdf

https://www.slideshare.net/slideshow/semi-formal-model-for-document-oriented-databases/27078524

vt ka
- formaalne
- mitteformaalne