A DSL for Game Economies
  • Paul Klint
  • Riemer van Rozen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8225)


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.


Model Checker Game Development Game Design Bread Crumb Game Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blow, J.: Game Development: Harder Than You Think. ACM Queue 1, 28–37 (2004)CrossRefGoogle Scholar
  2. 2.
    Klint, P., van der Storm, T., Vinju, J.: EASY Meta-programming with Rascal. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 222–289. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  3. 3.
    Holzmann, G.: SPIN Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)Google Scholar
  4. 4.
    Adams, E., Dormans, J.: Game Mechanics: Advanced Game Design, 1st edn. New Riders Publishing, Thousand Oaks (2012)Google Scholar
  5. 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. 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. 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. 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. 9.
    Champandard, A.J.: Behavior Trees for Next-Gen Game AI (December 2007),
  10. 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. 11.
    Wright, W.: Dynamics for Designers. Lecture delivered at the Game Developers Conference (2003)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Paul Klint
    • 1
  • Riemer van Rozen
    • 2
  1. 1.Centrum Wiskunde & InformaticaNetherlands
  2. 2.Amsterdam University of Applied SciencesNetherlands

Personalised recommendations