In the multi-billion dollar game industry, time to market limits the time developers have for improving games. Game designers and software engineers usually live on opposite sides of the fence, and both lose time when adjustments best understood by designers are implemented by engineers. Designers lack a common vocabulary for expressing gameplay, which hampers specification, communication and agreement. We aim to speed up the game development process by improving designer productivity and design quality. The language Machinations has introduced a graphical notation for expressing the rules of game economies that is close to a designer’s vocabulary. We present the language Micro- Machinations (MM) that details and formalizes the meaning of a significant subset of Machination’s language features and adds several new features most notably modularization. Next we describe MM Analysis in Rascal (MM AiR), a framework for analysis and simulation of MM models using the Rascal meta-programming language and the Spin model checker. Our approach shows that it is feasible to rapidly simulate game economies in early development stages and to separate concerns. Today’s meta-programming technology is a crucial enabler to achieve this.
KeywordsModel Checker Game Development Game Design Bread Crumb Game Graph
Unable to display preview. Download preview PDF.
- 3.Holzmann, G.: SPIN Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)Google Scholar
- 4.Adams, E., Dormans, J.: Game Mechanics: Advanced Game Design, 1st edn. New Riders Publishing, Thousand Oaks (2012)Google Scholar
- 5.Dormans, J.: Level Design as Model Transformation: A Strategy for Automated Content Generation. In: Proceedings of the 2nd International Workshop on Procedural Content Generation in Games, PCGames 2011, ACM, New York (2011)Google Scholar
- 6.Brom, C., Abonyi, A.: Petri Nets for Game Plot. In: Proceedings of Artificial Intelligence and the Simulation of Behaviour (AISB) (2006)Google Scholar
- 7.Araújo, M., Roque, L.: Modeling Games with Petri Nets. In: Proceedings of the 3rd Annual DiGRA Conference Breaking New Ground: Innovation in Games, Play, Practice and Theory (2009)Google Scholar
- 8.Fu, D., Houlette, R., Jensen, R.: A Visual Environment for Rapid Behavior Definition. In: Proc. Conf. on Behavior Representation in Modeling and Simulation (2003)Google Scholar
- 9.Champandard, A.J.: Behavior Trees for Next-Gen Game AI (December 2007), http://aigamedev.com
- 10.McNaughton, M., Cutumisu, M., Szafron, D., Schaeffer, J., Redford, J., Parker, D.: ScriptEase: Generative Design Patterns for Computer Role-Playing Games. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pp. 88–99. IEEE Computer Society, Washington, DC (2004)Google Scholar
- 11.Wright, W.: Dynamics for Designers. Lecture delivered at the Game Developers Conference (2003)Google Scholar