VDM++ 中的国际象棋建模
摘要：国际象棋游戏是世界知名度和广泛流行度非常高的游戏。然而，游戏规则相当复杂，因为游戏中有不同类型的棋子，它们的移动方式取决于棋子的类型。在本文中，我们讨论了使用VDM++来建模国际象棋游戏规则的替代范式，并展示了我们认为是最佳模型的方案。同时，我们还展示了如何将该模型与国际象棋游戏中的标准文本表示法相连接。这可以用于将形式化模型与更方便的界面结合起来。
作者：Morten Haahr Kristensen, Peter Gorm Larsen
论文ID：2303.10381
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-03-21