Abstract
Scenarios of serious games become more complex, highly interactive and hard to validate by humans due to the number of possible paths. Increasingly, authoring systems are proposed to support the designers in the scenario’s elaboration. These systems need tools to model and validate the interactive scenarios. But often, only testing activities with beta testers attempt to ensure the reliability of games’ scenarios, once the serious game is developped. Indeed, testing activities could reveal errors and bugs in the interactive scenario but they are not sufficient and not adapted to validate scenario in the design stage.
To be of any real value, for any learning system, a scenario must verify properties. This paper addresses both the modeling and the validation of Interactive scenarios in the design stage of serious games. We aim to support authoring systems for scenarios, to verify serious game’s properties and thus to increase the design quality of serious game.
We propose a formal framework to scenario’s modeling and validation in the design stage. First, we use Coloured Petri nets (CPN) as a modeling language. Then, the formal validation of the interactive scenario is performed by means of CPN Tools, an industrial-strength computer tool for analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled serious game using simulation and to verify properties by means of model checking.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Susi, T., Johannesson, M., Backlund, P.: Serious Games: An Overview. Web at GamesLearningSociety, GLS University of Wisconsin-Madison. Tech. Rep. (February 2007)
Fabricatore, C.: Learning and Videogames: an Unexploited Synergy. In: 2000 AECT National Convention. Springer Science + Business Media, Long Beach (2000)
Hoffmann, S., Spierling, U., Struck, H.-G.: A practical approach to introduce story designers to planning. In: Proceedings of GET 2011, IADIS International Conference Game and Entertainment Technologies, July 22-24 (2011)
Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. In: Model-Checking Techniques and Tools. Springer (2001)
Emerson, E.A., Lei, C.-L.: Modalities for model checking: Branching time logic strikes back. Sci. Comput. Program. 8(3), 275–306 (1987)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and cpn tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer 9(3-4), 213–254 (2007), http://www.springerlink.com/index/10.1007/s10009-007-0038-x
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yessad, A., Carron, T., Labat, JM. (2013). An Approach to Model and Validate Scenarios of Serious Games in the Design Stage. In: Wang, JF., Lau, R. (eds) Advances in Web-Based Learning – ICWL 2013. ICWL 2013. Lecture Notes in Computer Science, vol 8167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41175-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-41175-5_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41174-8
Online ISBN: 978-3-642-41175-5
eBook Packages: Computer ScienceComputer Science (R0)