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

Abstract : 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.
Type de document :
Article dans une revue
EAI Endorsed Transactions on Serious Games, ICST, 2014, 14 (2), pp.e4. 〈10.4108/sg.1.2.e4〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01174632
Contributeur : Lip6 Publications <>
Soumis le : jeudi 9 juillet 2015 - 13:56:28
Dernière modification le : jeudi 11 janvier 2018 - 06:27:15

Lien texte intégral

Identifiants

Collections

Citation

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, ICST, 2014, 14 (2), pp.e4. 〈10.4108/sg.1.2.e4〉. 〈hal-01174632〉

Partager

Métriques

Consultations de la notice

136