Describir: Jazyky pro programově řízené spojovací systémy