Crafting game-models using reactive system design
Pages 121 - 128
Abstract
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which drive a game engine. The approach makes it possible to describe behaviors of different parts of the system using different reactive system design languages and tools. It thus provides a framework for integrating the model behavior to obtain an executable game-model of the entire system. Among the advantages of this approach is the ability to use existing analysis tools to understand the game behavior at design time and run time, the ability to easily modify the behavior, and the use of visual languages to allow various stakeholders to be involved in early stages of building the game. Finally, we suggest integrating future games and game design methods into the emerging field of biological modeling, to which reactive system design has recently been successfully applied.
References
[1]
Telelogic, www.telelogic.com.
[2]
3D Game Studio, www.3dgamestudio.com.
[3]
R. Alur and T. A. Henzinger. Reactive Modules Formal Methods in System Design: An International Journal 15:7--48, 1999.
[4]
C. Chaouiya. Petri net modelling of biological networks. Brief Bioinform 8:210--219, 2007.
[5]
L. Cardelli. Abstract Machines of Systems Biology. T. Comp. Sys. Biology 3:145--168, 2005.
[6]
J. E. Ball, D. T. Ling, D. Pugh, T. Skelly, A. Stankosky and D. Thiel. ReActor: A System for Real-Time Reactive Animations. In CHI '94: Conference companion on Human factors in computing systems, pp 39--40, 1994.
[7]
B. Blumberg, M. Downie, Y. Ivanov, M. Berlin, M. P. Johnson and B. Tomlinson. Integrated Learning for Interactive Synthetic Characters. In SIGGRAPH '02: Proc. 29th Computer graphics and interactive techniques, pp 417--426, 2002.
[8]
I. R. Cohen and D. Harel. Explaining a Complex Living System: Dynamics, Multi-scaling and Emergence. J R Soc Interface 4:175--182, 2007.
[9]
W. Damm and D. Harel. LSC's: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19:45--80, 2001.
[10]
S. Donikian. HPTS: A Behaviour Modelling Language for Autonomous Agents. In AGENTS '01: Proc. fifth international conference on Autonomous agents, pp 401--408, 2001.
[11]
S. Donikian and E. Rutten. Reactivity, Concurrency, Data-flow and Hierarchical Preemption for Behavioural Animation. In Eurographics Workshop on Programming Paradigms in Graphics, pp 137--153, 1995.
[12]
S. Efroni, D. Harel and I. R. Cohen. Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer, 38(1):38--47, 2005.
[13]
S. Efroni, D. Harel and I. R. Cohen. Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput Biol, 3--13, 2007.
[14]
C. Elliott and P. Hudak. Functional Reactive Animation. In ICFP '97: Proc. second ACM SIGPLAN international conference on Functional programming, pp 263--273, 1997.
[15]
T. M. J. Fruchterman and E. M. Reingold. Graph Drawing by Force-directed Placement. Software - Practice and Experience, 21(11):1129--1164, 1991.
[16]
J. Funge, X. Tu and D. Terzopoulos. Cognitive Modeling: Knowledge, Reasoning and Planning for Intelligent Characters. In SIGGRAPH '99: Proc. 26th annual conference on Computer graphics and interactive techniques, pp 29--38, 1999.
[17]
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Sci. of Comp. Prog., 8:231--274, 1987.
[18]
D. Harel and E. Gery. Executable Object Modeling with Statecharts. IEEE Computer, 30:31--42, 1997.
[19]
D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
[20]
D. Harel and A. Pnueli. On the Development of Reactive Systems. In Logics and Models of Concurrent Systems, NATO ASI Series, pp 477--498, 1985. Springer-Verlag.
[21]
D. Harel and I. Segall. Visualizing Inter-Dependencies between Scenarios. Symp. on Soft. Vis. ACM, pp 145--153, 2008.
[22]
D. Harel and Y. Setty. Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. In Formal Methods in Systems Biology, LNBI 5054, pp 1--16. Springer, 2008.
[23]
D. Harel. A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal. Bulletin of the EATCS 81:226--235, 2003.
[24]
J. Juul. Half-Real: Video Games between Real Rules and Fictional Worlds. Cambridge: MIT Press, 2005.
[25]
J. Juul. The Open and the Closed: Game of emergence and games of progression. In Proc. Computer Game and Digital Cultures, pp 323--329, 2002.
[26]
N. Kam, H. Kugler, R. Marelly, L. Appleby, J. Fisher, A. Pnueli, D. Harel, M. J. Stern and E. J. A. Hubbard. A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification. Developmental Biology, 2008.
[27]
J. Magee, N. Pryce, D. Giannakopoulou and J. Kramer. Graphical Animation of Behavior Models. In ICSE '00: Proc. 22nd international conference on Software engineering, pp 499--508, 2000.
[28]
A. Pnueli The Temporal Logic of Programs. Proc. 18th IEEE Symp. Found. of Comp. Sci. (FOCS77), pp 46--57, 1977.
[29]
H. Noser and D. Thalmann. Sensor Based Synthetic Actors in a Tennis Game Simulation. The Visual Computer, 14(4):193--205, 1998.
[30]
Y. Setty, I. R. Cohen, Y. Dor and D. Harel. Four-Dimensional Realistic Modeling of Pancreatic Organogenesis. Proc Natl Acad Sci U S A, to appear, 2008.
[31]
E. Dybsand. A Finite State Machine Class. Game Programming Gems, pp 237--248, 2000.
[32]
T. C. N. Graham and W. Roberts. Toward Quality-Driven Development of 3D Computer Games. Proc. 13th International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 2006), LNCS 4323, pp 248--261, Springer-Verlag, 2007.
[33]
P. Sweetser. Emergence in Games. Charles River Media, Game Development Series, 2008.
[34]
P. Sweetser and J. Wiles. Scripting versus Emergence: Issues for Game Developers and Players in Game Environment Design. International Journal of Intelligent Games and Simulations 4:1--9, 2005.
[35]
P. Marino. 3D Game-Based Filmmaking: The Art of Machinima. Paraglyph, 2004.
Index Terms
- Crafting game-models using reactive system design
Recommendations
Game design research
AcademicMindTrek '15: Proceedings of the 19th International Academic Mindtrek ConferenceIn this paper, notions of game studies, games research, game design, and design research are examined. As a most popular keyword on game research papers 'game design' connects the interdiscipline of game studies. However, it is typical that notions of '...
Design Constraints in Game Design Case: Survival Mode Game Jam 2016
GJH&GC '16: Proceedings of the International Conference on Game Jams, Hackathons, and Game Creation EventsIn this paper, we present the findings of an interview study of game developers participating to a constrained game development event, Survival Mode 2016 game jam. Survival Mode 2016 was organized in Finnish Lapland as the northernmost jamming site of ...
User centered game design: evaluating massive multiplayer online role playing games for second language acquisition
Sandbox '08: Proceedings of the 2008 ACM SIGGRAPH symposium on Video gamesUnlike recreational games, serious games do more than entertain the player. Serious games promote acquisition of information and skills that are valued in both the virtual world and the real world. The challenge is to design and develop serious games ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2008
297 pages
Copyright © 2008 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 03 November 2008
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
FuturePlay08
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 267Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 17 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in