No full-text available
To read the full-text of this research,
you can request a copy directly from the authors.
Micro-Machinations: A DSL For Game Economies
... The language Machinations [1] provides a graphical notation for expressing the rules of game economies that is gaining popularity with designers. Micro-Machinations (MM) [14] formalizes the meaning of core language features of Machinations and adds modularity, making it also suitable for software development and formal analysis. ...
... MM also introduces new features, notably modularization, and has both a visual and a textual notation. Micro-Machinations Analy-sis in Rascal (MM AiR) is a framework for analyzing MM that uses the Rascal meta-programming language 1 and the Spin model checker [14]. It offers an IDE that reads textual MM and displays visual MM for simulating models interactively or randomly and analyzing behaviors partially or exhaustively. ...
... For conciseness, in this paper we use only the visual variant. A more detailed explanation is provided in [14]. ...
ResearchGate has not been able to resolve any references for this publication.