Ecco la citazione pertinente:
A common risk with software development includes communication breakdowns between Developers and Business Stakeholders. BDD uses the specification of desired behavior as a ubiquitous language for the project team members. This is the reason that BDD insists on a semi-formal language for behavioral specification: some formality is a requirement for being a ubiquitous language. In addition, having such a ubiquitous language creates a domain model of specifications, so that specifications may be reasoned about formally.
Penso che un vero e proprio "linguaggio" formale rigoroso che abbia una grammatica e un compilatore possa essere utile per, per esempio, generare automaticamente stub di test dalle specifiche o per garantire che le specifiche abbiano certe proprietà (nomi e verbi coerenti, ecc. .).
Nel paradigma BDD, quindi, perché il "linguaggio ubiquitario" dovrebbe essere solo semi-formale e non completamente formale / rigoroso?