Abstract
Specifications of Multi-Player Learning Games (MPLG) are expressed collaboratively by designers who don’t speak the same conceptual language. Often, specifications contain design errors and inconsistencies that are difficult to detect in playtests. In this paper, we present a formal framework to assist designers in modeling and automatic verification of learning games at the design stage of development process.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Fabricatore, C.: Learning and Videogames: An Unexploited Synergy. In: 2000 AECT National Convention. Springer Science + Business Media, Secaucus (2000)
Rajib Mall. Fundamentals of Software Engineering. Prentice-Hall of India Private Limited. Rajkamal Electric of India Private Limited
Jensen, K., Kristensen, L.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (2009) ISBN: 978-3-642-00283-0
Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. Model-Checking Techniques and Tools. Springer (2001)
Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)
Haddad, S., Kordon, F., Petrucci, L., Pradat-Peyre, J.-F., Trèves, N.: Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains. In: 28th American Control Conference (ACC), pp. 5018–5025. Omnipress IEEE (2009)
Colange, M., Baarir, S., Kordon, F., Thierry-Mieg, Y.: Crocodile: A Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 338–347. Springer, Heidelberg (2011)
Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.: New features in CPN-AMI 3: Focusing on the analysis of complex distributed systems. In: 6th International Conference on Application of Concurrency to System Design (ACSD), Turku, Finland, pp. 273–275. IEEE Computer Society (June 2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Yessad, A., Mounier, I., Labat, JM., Kordon, F., Carron, T. (2014). Have You Found the Error? A Formal Framework for Learning Game Verification. In: Rensing, C., de Freitas, S., Ley, T., Muñoz-Merino, P.J. (eds) Open Learning and Teaching in Educational Communities. EC-TEL 2014. Lecture Notes in Computer Science, vol 8719. Springer, Cham. https://doi.org/10.1007/978-3-319-11200-8_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-11200-8_45
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11199-5
Online ISBN: 978-3-319-11200-8
eBook Packages: Computer ScienceComputer Science (R0)