Bieži vien mašīna-processible kombinācija dabas un oficiālās valodas, lieto, izteikt prasības, dizains, uzvedības vai citas sistēmas vai komponentu īpašības. , Piemēram, dizaina valodu vai prasību specifikāciju valodu.