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]. ...
Machinations is a visual design language widely used in the computer game development industry to model and analyze game economy rules. The models created are graphical diagrams that can be executed similarly to a program. Execution is done in different scenarios to analyze the behavior of the modeled game. However, the lack of formal semantics makes it difficult to ascertain the correctness of the execution of graphical diagrams. In this work, we develop K-Machinations, a formal high-level executable semantics for Machinations in the K framework. We apply K-Machination to validate the implementation of Machination commercial platform, comparing the executions of several graphical diagrams to uncover six types of defects that can lead to wrong decisions in games design. Our tool can also provide solutions to repair incorrect diagrams.
ResearchGate has not been able to resolve any references for this publication.