Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models

  • Kendra M. L. Cooper
  • Eman S. Nasr
  • C. Shaun Longstreet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8396)


Serious educational games (SEGs) are receiving significant attention, as they provide immersive, engaging learning environments with a rigourous pedagogical foundation. SEG engineering requires an interdisciplinary approach involving game developers, educators, and software engineers. The requirements engineering (RE) community has substantial expertise in processes, notations, tools, and techniques. Here, we explore how can we tailor and adopt this expertise for developing SEGs with a three step model-based approach that integrates established techniques: create an informal model of the SEG requirements (narrative captured like a storyboard); transform the narrative into a semi-formal, tailored UML use case model (visual and tabular, using templates); transform the semi-formal model into formal models for testing and verification. A collection of SEGs (test games) has been created using the process; currently the transformations are performed manually. The formal model is represented in XML, which can be loaded, played, and tested in the game engine. In the future, we will explore semi-automatically transforming the models and creating Statechart models, which can be verified using simulations.


requirements engineering serious educational games model-driven 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gee, J.P.: What video games have to teach us about learning and literacy. Macmillan, U.S.A. (2003)Google Scholar
  2. 2.
    Adams, E.: Fundamentals of Game Design, 2nd edn. New Riders Publishing (2010)Google Scholar
  3. 3.
    Object Management Group, OMG Model Driven Architecture (MDA) Guide Version 1.0.1 (2003),
  4. 4.
    Dormans, J.: The Effectiveness and Efficiency of Model Driven Game Design. In: Herrlich, M., Malaka, R., Masuch, M. (eds.) ICEC 2012. LNCS, vol. 7522, pp. 542–548. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  5. 5.
    Tang, S., Hanneghan, M.: Fusing Games Technology and Pedagogy for Games-Based Learning Through a Model Driven Approach. In: Proceedings of the 2011 IEEE Colloquium on Humanities, Science, and Engineering Research, pp. 380–385 (2011)Google Scholar
  6. 6.
    Sauer, S., Engels, G.: UML-based Behavior Specification of Interactive Multimedia Applications. In: Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments, pp. 248–255 (2001)Google Scholar
  7. 7.
    Truong, K., Hayes, G., Abowd, G.: Storyboarding: an empirical determination of best practices and effective guidelines. In: Proceedings of the 6th Conference on Designing Interactive Systems, pp. 12–21 (2006)Google Scholar
  8. 8.
    Pollack, S.L., Hicks, H.T., Harrison, W.J.: Decision tables: theory and practice. Wiley-Interscience (1971)Google Scholar
  9. 9.
    Object Management Group, OMG Unified Modelling Language, version 2.2 (2009),
  10. 10.
    World Wide World Consortium, Extensible Markup Language (XML) 1.0, 4th edn. (August 2006),
  11. 11.
    Longstreet, C., Cooper, K.: A meta-model for developing simulation games in higher education and professional development training. In: Proceedings of the IEEE 17th International Conference on Computer Games, pp. 39–44 (2012)Google Scholar
  12. 12.
    Cooper, K., Longstreet, C.: Towards Model-driven Game Engineering for Serious Educational Games: Tailored Use Cases for Game Requirements. In: Proceedings of the IEEE 17th International Conference on Computer Games, pp. 208–212 (2012)Google Scholar
  13. 13.
    Riebisch, M., Hübner, M.: Refinement and Formalization of Semi-Formal Use Case Descriptions. In: Proceedings on the 2nd Workshop on Model-Based Development of Computer Based Systems: Appropriateness, Consistency and Integration of Models (2004)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Kendra M. L. Cooper
    • 1
  • Eman S. Nasr
    • 2
  • C. Shaun Longstreet
    • 3
  1. 1.The University of Texas at DallasRichardsonU.S.A.
  2. 2.Independent ResearcherCairoEgypt
  3. 3.Marquette UniversityWisconsinU.S.A.

Personalised recommendations