In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, grounded into Linear Time Logic, to design curricula models which include knowledge of proficiency levels. Based on this representation, we show how model checking techniques can be used to verify that the user’s learning goal is supplied by a curriculum, that a curriculum is compliant to a curricula model, and that competence gaps are avoided. This proposal represents the most recent advancement of a work, carried on in the last years, in which we are investigating the use of both agents and web services for building and validating curricula.We also outline future research directions.

Declarative representation of curricula models: an LTL- and UML-based approach

BALDONI, Matteo;BAROGLIO, Cristina;BERIO, Giuseppe;MARENGO, ELISA
2007

Abstract

In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, grounded into Linear Time Logic, to design curricula models which include knowledge of proficiency levels. Based on this representation, we show how model checking techniques can be used to verify that the user’s learning goal is supplied by a curriculum, that a curriculum is compliant to a curricula model, and that competence gaps are avoided. This proposal represents the most recent advancement of a work, carried on in the last years, in which we are investigating the use of both agents and web services for building and validating curricula.We also outline future research directions.
WOA 2007
Genova
24-25/9/2007
Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software
Seneca Edizioni
34
41
9788861220614
REWERSE; elearning; reasoning; validation
M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/72378
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact