Tens of formal ADLs have been proposed, each characterized by different conceptual architectural elements, different syntax or semantics, focusing on a specific operational domain, or only suitable for different analysis techniques.
Десетине формалних АОЈа су били предложени, сваки карактеризован са различитим концептуалним архитектонским елементима, различитом синтаксом и семантиком, фокусирајући се на специфичну операцијску област, или само погодан за различите аналитичке технике.