Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blow, J.: Game Development: Harder Than You Think. ACM Queue 1, 28–37 (2004)
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)
Holzmann, G.: SPIN Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)
Adams, E., Dormans, J.: Game Mechanics: Advanced Game Design, 1st edn. New Riders Publishing, Thousand Oaks (2012)
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)
Brom, C., Abonyi, A.: Petri Nets for Game Plot. In: Proceedings of Artificial Intelligence and the Simulation of Behaviour (AISB) (2006)
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)
Fu, D., Houlette, R., Jensen, R.: A Visual Environment for Rapid Behavior Definition. In: Proc. Conf. on Behavior Representation in Modeling and Simulation (2003)
Champandard, A.J.: Behavior Trees for Next-Gen Game AI (December 2007), http://aigamedev.com
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)
Wright, W.: Dynamics for Designers. Lecture delivered at the Game Developers Conference (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Klint, P., van Rozen, R. (2013). Micro-Machinations. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds) Software Language Engineering. SLE 2013. Lecture Notes in Computer Science, vol 8225. Springer, Cham. https://doi.org/10.1007/978-3-319-02654-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-02654-1_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02653-4
Online ISBN: 978-3-319-02654-1
eBook Packages: Computer ScienceComputer Science (R0)