Crafting game-models using reactive system design

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: Rajeev Alur , Thomas A. Henzinger, Reactive Modules, Formal Methods in System Design, v.15 n.1, p.7-48, July 1999 [doi>10.1023/A:1008739929481]
• 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. Eugene Ball , Daniel T. Ling , David Pugh , Tim Skelly , Andrew Stankosky , David Thiel, ReActor: a system for real-time, reactive animations, Conference companion on Human factors in computing systems, p.39-40, April 24-28, 1994, Boston, Massachusetts, United States [doi>10.1145/259963.260011]
• 7: Bruce Blumberg , Marc Downie , Yuri Ivanov , Matt Berlin , Michael Patrick Johnson , Bill Tomlinson, Integrated learning for interactive synthetic characters, Proceedings of the 29th annual conference on Computer graphics and interactive techniques, July 23-26, 2002, San Antonio, Texas
• 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: Werner Damm , David Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design, v.19 n.1, p.45-80, July 2001 [doi>10.1023/A:1011227529550]
• 10: Stéphane Donikian, HPTS: a behaviour modelling language for autonomous agents, Proceedings of the fifth international conference on Autonomous agents, p.401-408, May 2001, Montreal, Quebec, Canada [doi>10.1145/375735.376382]
• 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: Sol Efroni , David Harel , Irun R. Cohen, Reactive Animation: Realistic Modeling of Complex Dynamic Systems, Computer, v.38 n.1, p.38-47, January 2005 [doi>10.1109/MC.2005.31]
• 13: S. Efroni, D. Harel and I. R. Cohen. Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput Biol, 3--13, 2007.
• 14: Conal Elliott , Paul Hudak, Functional reactive animation, Proceedings of the second ACM SIGPLAN international conference on Functional programming, p.263-273, June 09-11, 1997, Amsterdam, The Netherlands
• 15: Thomas M. J. Fruchterman , Edward M. Reingold, Graph drawing by force-directed placement, Software—Practice & Experience, v.21 n.11, p.1129-1164, Nov. 1991 [doi>10.1002/spe.4380211102]
• 16: John Funge , Xiaoyuan Tu , Demetri Terzopoulos, Cognitive modeling: knowledge, reasoning and planning for intelligent characters, Proceedings of the 26th annual conference on Computer graphics and interactive techniques, p.29-38, July 1999 [doi>10.1145/311535.311538]
• 17: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 18: David Harel , Eran Gery, Executable Object Modeling with Statecharts, Computer, v.30 n.7, p.31-42, July 1997 [doi>10.1109/2.596624]
• 19: David Harel , Rami Marelly, Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
• 20: D. Harel , A. Pnueli, On the development of reactive systems, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
• 21: David Harel , Itai Segall, Visualizing inter-dependencies between scenarios, Proceedings of the 4th ACM symposium on Software visualization, September 16-17, 2008, Ammersee, Germany [doi>10.1145/1409720.1409744]
• 22: David Harel , Yaki Setty, Generic Reactive Animation: Realistic Modeling of Complex Natural Systems, Proceedings of the 1st international workshop on Formal Methods in Systems Biology, June 04-05, 2008, Cambridge, UK [doi>10.1007/978-3-540-68413-8_1]
• 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: Jesper Juul, Half-Real: Video Games between Real Rules and Fictional Worlds, The 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: Jeff Magee , Nat Pryce , Dimitra Giannakopoulou , Jeff Kramer, Graphical animation of behavior models, Proceedings of the 22nd international conference on Software engineering, p.499-508, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337368]
• 28: Amir Pnueli, The temporal logic of programs, Proceedings of the 18th Annual Symposium on Foundations of Computer Science, p.46-57, September 30-October 31, 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

Primary Classification:
  K. Computing Milieux
  K.8 PERSONAL COMPUTING
      K.8.0 General

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.7 Visual Programming
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

General Terms:
Design, Languages

Keywords:
game design, live sequence charts, simulators, statecharts, systems biology