MobFogSim extends iFogSim to enable modeling of device mobility and service migration in fog computing.