Мы (разработчики ПО) составляем модели, начиная с верхнеуровневых (близких к бизнесу) моделей требований. Шаг за шагом модели конкретизируются, пока наконец не дойдут до такого уровня детализации, на котором их можно будет реализовать в коде или БД.
Каждая модель - это всего лишь модель, и каждая делает определенные предположения относительно моделируемых объектов/явлений. В целом, все модели, создаваемые в процессе разработки ПО, являются детализациями семантической модели, но ее редко документируют или даже осознают.
Различные языки в процессе разработки ПО
Возможно, в этом и кроется проблема "расходящихся интерпретаций"? Нет осознанного
определения семантики, нет предмета для обсуждения или для создания/проверки правил.