Μηχανισμοί χρησιμοποιούμενοι σε μία εφαρμογή οι οποίοι εκφράζονται σε μία δηλωτική σύνταξη σε μία περιγραφή υλοποίησης.