A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation

摘要

The exponential increase in usage of games in daily life has been seen in the present era. The use of mobile games is rapidly increasing. Mobile games are now considered a useful tool for learning and educational practices. This research mainly focuses on development and game mechanics of endless runner games for hand-held devices. This research will facilitate the developers in understanding the game mechanics of endless runner games. A generic algorithm for endless/ infinite runner games is proposed. The formal specification of the proposed algorithm for developers is presented using Z-Notation. The study presents the evidence of translation of algorithm in Z-Notation. The FUZZ Type checker is used to validate Z-Schema of the Algorithm. The presentation of game mechanics through formal specification will help developers during development and testing phase. The proposed Z-Notation schema can also be extended for other games.