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
Conference paper

DOI: 10.1007/978-3-319-05843-6_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8396)
Cite this paper as:
Cooper K.M.L., Nasr E.S., Longstreet C.S. (2014) Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models. In: Salinesi C., van de Weerd I. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2014. Lecture Notes in Computer Science, vol 8396. Springer, Cham

Abstract

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.

Keywords

requirements engineering serious educational games model-driven 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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