David Harel
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.
- Telelogic, www.telelogic.com.Google Scholar
- 3D Game Studio, www.3dgamestudio.com.Google Scholar
- R. Alur and T. A. Henzinger. Reactive Modules Formal Methods in System Design: An International Journal 15:7--48, 1999. Google ScholarDigital Library
- C. Chaouiya. Petri net modelling of biological networks. Brief Bioinform 8:210--219, 2007.Google ScholarCross Ref
- L. Cardelli. Abstract Machines of Systems Biology. T. Comp. Sys. Biology 3:145--168, 2005. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- I. R. Cohen and D. Harel. Explaining a Complex Living System: Dynamics, Multi-scaling and Emergence. J R Soc Interface 4:175--182, 2007.Google ScholarCross Ref
- W. Damm and D. Harel. LSC's: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19:45--80, 2001. Google ScholarDigital Library
- S. Donikian. HPTS: A Behaviour Modelling Language for Autonomous Agents. In AGENTS '01: Proc. fifth international conference on Autonomous agents, pp 401--408, 2001. Google ScholarDigital Library
- 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.Google Scholar
- S. Efroni, D. Harel and I. R. Cohen. Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer, 38(1):38--47, 2005. Google ScholarDigital Library
- S. Efroni, D. Harel and I. R. Cohen. Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput Biol, 3--13, 2007.Google Scholar
- C. Elliott and P. Hudak. Functional Reactive Animation. In ICFP '97: Proc. second ACM SIGPLAN international conference on Functional programming, pp 263--273, 1997. Google ScholarDigital Library
- T. M. J. Fruchterman and E. M. Reingold. Graph Drawing by Force-directed Placement. Software - Practice and Experience, 21(11):1129--1164, 1991. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- D. Harel. Statecharts: A Visual Formalism for Complex Systems. Sci. of Comp. Prog., 8:231--274, 1987. Google ScholarDigital Library
- D. Harel and E. Gery. Executable Object Modeling with Statecharts. IEEE Computer, 30:31--42, 1997. Google ScholarDigital Library
- D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- D. Harel and I. Segall. Visualizing Inter-Dependencies between Scenarios. Symp. on Soft. Vis. ACM, pp 145--153, 2008. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- D. Harel. A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal. Bulletin of the EATCS 81:226--235, 2003.Google Scholar
- J. Juul. Half-Real: Video Games between Real Rules and Fictional Worlds. Cambridge: MIT Press, 2005. Google ScholarDigital Library
- 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.Google Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- A. Pnueli The Temporal Logic of Programs. Proc. 18th IEEE Symp. Found. of Comp. Sci. (FOCS77), pp 46--57, 1977. Google ScholarDigital Library
- H. Noser and D. Thalmann. Sensor Based Synthetic Actors in a Tennis Game Simulation. The Visual Computer, 14(4):193--205, 1998.Google ScholarCross Ref
- 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.Google Scholar
- E. Dybsand. A Finite State Machine Class. Game Programming Gems, pp 237--248, 2000.Google Scholar
- 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. Google ScholarDigital Library
- P. Sweetser. Emergence in Games. Charles River Media, Game Development Series, 2008.Google Scholar
- 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.Google Scholar
- P. Marino. 3D Game-Based Filmmaking: The Art of Machinima. Paraglyph, 2004.Google Scholar
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