Los lenguajes más ampliamente utilizados (2008) incluyen UML, Notación Z, Business Process Execution Language, Business Process Modeling Notation y Semantics of Business Vocabulary and Business Rules (SBVR)