Статья предлагает новый взгляд на процесс моделирования, акцентируя внимание на необходимости явно формализовать и верифицировать не только конечные модели, но и саму логику рассуждений и переходов между уровнями формализации.