This project explains how to use migration with model in alloy.