Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Thursday, July 9, 2015 - 1:56:28 PM
Last modification on : Thursday, March 21, 2019 - 1:09:34 PM

Links full text



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⟩



Record views