Abstract
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user’s learning goals, that the curriculum is compliant w.r.t. the course design goals, specified by the institution that offers it, and that the sequence of courses that defines the curriculum does not have competency gaps. In this work, we present a constrained-based representation for specifying the goals of “course design” and introduce a design graphical language, grounded into Linear Time Logic.
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
Baldoni, M., Baroglio, C., Brunkhorst, I., Marengo, E., Patti, V.: Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In: Dural, E., Klamma, R., Wolpers, M. (eds.) EC-TEL 2007. LNCS, vol. 4753, Springer, Heidelberg (2007)
Baldoni, M., Baroglio, C., Henze, N.: Personalization for the Semantic Web. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 173–212. Springer, Heidelberg (2005)
Baldoni, M., Baroglio, C., Marengo, E.: Curricula Modeling and Checking. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS(LNAI), vol. 4733, Springer, Heidelberg (2007)
Baldoni, M., Baroglio, C., Patti, V.: Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review 22(1), 3–39 (2004)
Brusilovsky, P., Vassileva, J.: Course sequencing techniques for large-scale web-based education. Int. J. Cont. Engineering Education and Lifelong learning 13(1/2), 75–94 (2003)
De Coi, J.L., Herder, E., Koesling, A., Lofi, C., Olmedilla, D., Papapetrou, O., Sibershi, W.: A model for competence gap analysis. In: Proc. of WEBIST 2007, INSTICC Press (2007)
Emerson, E.A.: Temporal and model logic. Handbook of Theoretical Computer Science B, 997–1072 (1990)
Farrell, R., Liburd, S.D., Thomas, J.C.: Dynamic assebly of learning objects. In: Proc. of WWW 2004, New York, USA (2004)
Henze, N., Krause, D.: Personalized access to web services in the semantic web. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, Springer, Heidelberg (2006)
Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)
Melia, M., Pahl, C.: Automatic Validation of Learning Object Compositions. In: Proc. of IT&T 2005: Doctoral Symposium, Carlow, Ireland (2006)
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40–47 (1998)
van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baldoni, M., Marengo, E. (2007). Curriculum Model Checking: Declarative Representation and Verification of Properties. In: Duval, E., Klamma, R., Wolpers, M. (eds) Creating New Learning Experiences on a Global Scale. EC-TEL 2007. Lecture Notes in Computer Science, vol 4753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75195-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-75195-3_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75194-6
Online ISBN: 978-3-540-75195-3
eBook Packages: Computer ScienceComputer Science (R0)