V této kapitole uvedeme přehled základních principů grafických formalismů pro souběžné systémy a příklady některých grafických jazyků a nástrojů pro grafickou specifikaci systémů. Nejprve popíšeme základní vlastnosti grafických formalizmů, posléze popíšeme možné přístupy ke grafické specifikaci.