Micro-Machinations: A DSL for Game Economies

Paul Klint, R.A. van Rozen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationSoftware Language Engineering - Proceedings of the 6th International Conference on Software Language Engineering, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013
EditorsMartin Erwig, Richard F. Paige, Eric Van Wyk
Number of pages20
ISBN (Print)978-3-319-02654-1
Publication statusPublished - Oct 2013
EventInternational Conference on Software Language Engineering - Indianapolis, United States
Duration: 27 Oct 201328 Oct 2013

Publication series



ConferenceInternational Conference on Software Language Engineering
Abbreviated titleSLE
Country/TerritoryUnited States


Dive into the research topics of 'Micro-Machinations: A DSL for Game Economies'. Together they form a unique fingerprint.

Cite this