“Requirement Declarative Markup Language” for timetabling: A case study based development

Preparation of timetables is one of the challenges in universities. Universities are attempting to automate the timetabling process. However neither the manual nor the automated system may give a 100% accurate timetable. Therefore it is important to verify whether the requirements are satisfactorily fulfilled after generating the timetable. Authors propose a scripting language, Requirement Declarative Markup Language (RDML), for this purpose. Using RDML all user requirements can be defined and verified. Finally authors describe how to use the RDML for verifying a timetable.