я думаю, что бизнес-логика - это всё-таки некоторая спецификация не на ЯП, а "бизнес-логика" в коде - это просто сокращение от "реализация бизнес логики"
чота лень весь срач дальнейший читать, там вбрасывали идею о формальных спецификациях для бизнеслогик аля гилель?