Μια σχεδίαση ή μια γλώσσα προγραμματισμού στο οποίο ορίζονται ακολουθίες καταστάσεων, μπλοκ, που ονομάζεται, συνήθως με χρόνο έναρξης και λήξης οριοθέτες, και μεταβλητές ή ετικετών που καθορίζονται σε ένα μπλοκ δεν αναγνωρίζονται έξω από αυτό το μπλοκ. Παραδείγματα περιλαμβάνουν Ada, ο ΑΛΓΚΌΛ, PLII.