形式化方法——Z语言在西瓜棋中应用的研究

Used One of the Formal Methods Languages,Z Language , in Watermelon Chess

Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。

Z language is a kind of rather popular at present and used extensive form specifica- tions languages. It has the virtues of brachylogy, rigor and precise. This article depicts the Watermelon Chess (a game of chess) and gives the specification arranging from the state model to operation model with Z language.