Instructional Theories to Model Educational Content: A Case Study

This paper describes an experience to apply instructional design theories using formal specifications to model educational content. Our aim is to extend learning content specifications to cover instructional theories in the current trend of learning technologies standards to provide a formalization framework for templates and instructional patterns. We use LODAS (Learning Object Design and Sequencing Theory) to define the theoretical instructional framework in combination with PALO modelling language. LODAS use Learning Objects and provides instructional methods to create and apply them within sequencing and classification models. PALO is a formal specification to model educational material based on instructional templates and ontology-based repositories of Learning Objects. Our work shows a case study to use PALO formal specification to provide instructional templates based on LODAS methods that could be incorporated into an authoring tool.