Μια γλώσσα με ειδικές κατασκευές και, μερικές φορές, επαλήθευση πρωτόκολλα, που χρησιμοποιούνται για την ανάπτυξη, ανάλυση και έγγραφο ένα σχέδιο υλικού.