Exploring Games as Formal Models

Computer games have become increasingly complex. Modern game specifications need to accommodate many detailed design documents, which results in increasing complexity. Complex games are difficult to understand, maintain and update, but their software cannot be extensively functional, as this might confuse the player. Consequently, game developers can benefit from following precise guidelines to design games for players. Formal methods can provide a suitable specification environment to formalize static and dynamic game aspects and realistically model game rules and events. At a higher level of abstraction, a formal game model can provide understandability and communication of the activities within a development process.