Formal Framework to improve the reliability of concurrent and collaborative learning games - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue EAI Endorsed Transactions on Serious Games Année : 2014

Formal Framework to improve the reliability of concurrent and collaborative learning games

Résumé

Multi-player learning games are complex software applications resulting from a costly and complex engineering process, and involving multiple stakeholders (domain experts, teachers, game designers, programmers, testers, etc.). Moreover, they are dynamic systems that evolve over time and implement complex interactions between objects and players. Usually, once a learning game is developed, testing activities are conducted by humans who explore the possible executions of the game’s scenario to detect bugs. The complexity and the dynamic nature of multiplayer learning games enforces the complexity of testing activities. Indeed, it is impracticable to explore manually all possible executions due to their huge number. Moreover, the test cannot verify some properties on multi-player and collaborative scenarios, such as paths leading to deadlock between learners or prevent learners to meet all objectives and win the game. This type of properties should be verified at the design stage. We propose a framework enabling a formal modeling of game scenarios and an associated automatic verification of learning game’s scenario at the design stage of the development process.We use Symmetric Petri nets as a modeling language and choose to verify properties by means of model checkers. This paper discusses the possibilities offered by this framework to verify learning game’s properties before the programming stage.

Dates et versions

hal-01174632 , version 1 (09-07-2015)

Identifiants

Citer

Amel Yessad, Isabelle Mounier, Thibault Carron, Fabrice Kordon, Jean-Marc Labat. Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Transactions on Serious Games, 2014, 14 (2), pp.e4. ⟨10.4108/sg.1.2.e4⟩. ⟨hal-01174632⟩
133 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More