用於物聯網裝置管理平台之形式化方法(2/2)