Article

Exploring Games as Formal Models

Authors:

Timo Nummenmaa,

Tommi MikkonenAuthors Info & Claims

SEEFM '09: Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods

Pages 60 - 65

https://doi.org/10.1109/SEEFM.2009.15

Published: 04 December 2009 Publication History

Abstract

Computer games have become increasingly complex. Modern game specifications need to accommodate many detailed design documents, which results in increasing complexity. Complex games are difficult to understand, maintain and update, but their software cannot be extensively functional, as this might confuse the player. Consequently, game developers can benefit from following precise guidelines to design games for players. Formal methods can provide a suitable specification environment to formalize static and dynamic game aspects and realistically model game rules and events. At a higher level of abstraction, a formal game model can provide understandability and communication of the activities within a development process.

References

[1]

Timo Aaltonen, Mika Katara, and Risto Pitkänen. Disco toolset - the new generation. Journal of Universal Computer Science, 7(1):3-18, 2001.

[2]

Eleni Berki and Juri Valtanen. Critical and creative mathematical thinking with practical problem solving skills- a new old challenge. 2008.

[3]

Staffan Björk and Jussi Holopainen. Patterns in Game Design. Charles River Media, Hingham (Mass.), 2005.

[4]

Edward De Bono. The Five-day Course in Thinking. Penguin, 1967.

[5]

J. E. Cooling. Software Design for Real-Time Systems. Chapman & Hall, February 1991.

Digital Library

[6]

Antoni Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, Inc., 1990.

Digital Library

[7]

Prajit K. Dutta. Strategies and Games: Theory and Practice. MIT Press, 1999.

[8]

Kevin Flood. Game unified process (gup). http://www.gamedev.net/reference/articles/article1940.asp, 2003.

[9]

Tracy Fullerton, Christopher Swain, and Steven Hoffman. Game Design Workshop: Designing, Prototyping, and Playtesting Games. CMP Books, San Francisco (Calif.), 2004.

Digital Library

[10]

Richard Garriott. Massively Multiplayer Game Development. Charles River Media, 1991.

[11]

H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, pages 63-71. IEEE Computer Society Press, 1990.

Digital Library

[12]

John C. Knight, Colleen L. DeJong, Matthew S. Gibble, and Luís G. Nakano. Why are formal methods not used more widely? In Fourth NASA Formal Methods Workshop, pages 1-12, 1997.

[13]

Oskar Morgenstern and John von Neumann. The Theory of Games and Economic Behavior. Princeton University Press, 1947.

[14]

John F. Nash. Equilibrium points in n-person games. Proceedings of the National Academy of Sciences of the United States of America, 36(1):48- 49, 1950.

[15]

Timo Nummenmaa. Adding probabilistic modeling to executable formal disco specifications with applications in strategy modeling in multiplayer game design. Master's thesis, University of Tampere, 2008.

[16]

Timo Nummenmaa. A method for modeling probabilistic object behaviour for simulations of formal specifications. In T. Uustalu, J. Vain, and J. Ernits, editors, NWPT 2008, Abstracts, Tallinn, Estonia, 2008.

[17]

Timo Nummenmaa, Jussi Kuittinen, and Jussi Holopainen. Simulation as a game design tool. In Advances in Computer Entertainment Technology (ACE 2009), 2009.

Digital Library

[18]

Richard F. Paige, Triston S. Attridge, and Phillip J. Brooke. Game development using design-by-contract. Journal of Object Technology, 5(7), 2006.

[19]

Mirva Peltoniemi. Industry Life-Cycle Theory in the Cultural Domain: Dynamics of the Games Industry. PhD thesis, Tampere University of Technology, 2009.

[20]

Jesse Schell. The Art of Game Design: A book of lenses. Morgan Kaufmann, illustrated edition edition, August 2008.

Digital Library

[21]

Kerstin Siakas, Eleni Berki, Elli Georgiadou, and Chris Sadler. The complete alphabet of quality software systems: Conflicts and compromises. In 7th World Congress on Total Quality & Qualex 97, pages 603 - 618, New Delhi, India, 1997.

[22]

Kerstin V. Siakas, Eleni Berki, and Elli Georgiadou. Code for sqm: a model for cultural and organisational diversity evaluation. In EuroSPI 2003: European software process improvement, pages IX 1-11, Graz, Austria, 2003.

[23]

F. Ted Tschang. Videogames as interactive experiential products and their manner of development. International Journal of Innovation Management, 9(1):103-131, 2005.

Cited By

Nummenmaa TKultima AAlha KMikkonen TRobbes RRobles G(2013)Applying lehman's laws to game evolutionProceedings of the 2013 International Workshop on Principles of Software Evolution10.1145/2501543.2501546(11-17)Online publication date: 19-Aug-2013
https://dl.acm.org/doi/10.1145/2501543.2501546
Nummenmaa TTiensuu ABerki EMikkonen TKuittinen JKultima A(2011)Supporting agile development by facilitating natural user interaction with executable formal specificationsACM SIGSOFT Software Engineering Notes10.1145/1988997.200364336:4(1-10)Online publication date: 4-Aug-2011
https://dl.acm.org/doi/10.1145/1988997.2003643

Exploring Games as Formal Models

Recommendations

Towards understanding balancing in exertion games
ACE '14: Proceedings of the 11th Conference on Advances in Computer Entertainment Technology

Playing exertion games with others can be engaging. However, players with different physical skill levels competing against each other can experience reduced engagement because they are either not challenged enough, or challenged too much. Balancing ...
AI Coach for Battle Royale Games
CHI PLAY '21: Extended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play

Battle Royale is a popular online multiplayer game genre that combines last-man-standing shooter gameplay with survival, combat, and scavenging elements. Since several abilities beyond basic combat skills affect player performance in game, the learning ...
Designing Brutal Multiplayer Video Games
CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems

Non-digital forms of play that allow players to direct brute force directly upon each other, such as martial arts, boxing and full contact team sports, are very popular. However, inter-player brutality has largely been unexplored as a feature of digital ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

SEEFM '09: Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods

December 2009

76 pages

ISBN:9780769539430

Publisher

IEEE Computer Society

United States

Publication History

Published: 04 December 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Nummenmaa TKultima AAlha KMikkonen TRobbes RRobles G(2013)Applying lehman's laws to game evolutionProceedings of the 2013 International Workshop on Principles of Software Evolution10.1145/2501543.2501546(11-17)Online publication date: 19-Aug-2013
https://dl.acm.org/doi/10.1145/2501543.2501546
Nummenmaa TTiensuu ABerki EMikkonen TKuittinen JKultima A(2011)Supporting agile development by facilitating natural user interaction with executable formal specificationsACM SIGSOFT Software Engineering Notes10.1145/1988997.200364336:4(1-10)Online publication date: 4-Aug-2011
https://dl.acm.org/doi/10.1145/1988997.2003643

View Options

View options

Media

Figures

Other

Tables

View Table of Contents