Modeling and Solving a Latin American University Course Timetabling Problem Instance
Open Access
- 18 October 2020
- journal article
- research article
- Published by MDPI AG in Mathematics
- Vol. 8 (10), 1833
- https://doi.org/10.3390/math8101833
Abstract
Timetabling problem is a complex task that is performed by a number of institutions worldwide, which has been usually addressed as an optimization problem where every approach considers the particular constraints of each institution under consideration. In this paper, we describe, model, and propose a solution to the timetabling problem at the División Académica de Ciencias y Tecnologías de la Información of the Universidad Juárez Autónoma de Tabasco (UJAT), México. We modeled the specific constraints of this problem instance using the Object Constraint Language (OCL) of the Unified Modeling Language (UML), and we validated the model while using the state-of-the-art tool USE: UML-based Specification Environment. The solution strategy tackles the problem in two stages: (1) ACA: academic assignments, i.e., assign lectures to professors and (2) TTP: the timetabling process. We developed a Tabu Search customization named Tabu Search with Probabilistic Aspiration Criterion (TS-PAC) in order to solve the timetabling problem, and we developed a software prototype to test our proposal. Two feasible timetables for two different semesters were obtained according to the modeled constraints.Keywords
This publication has 31 references indexed in Scilit:
- Solving University Course Timetabling Problems Using Constriction Particle Swarm Optimization with Local SearchAlgorithms, 2013
- A tabu search heuristic for the dynamic transportation of patients between care unitsEuropean Journal of Operational Research, 2011
- Decomposition, reformulation, and diving in university course timetablingComputers & Operations Research, 2010
- Tabu Search: A Comparative StudyPublished by IntechOpen ,2008
- USE: A UML-based specification environment for validating UML and OCLScience of Computer Programming, 2007
- Specifying Java Card API in OCLElectronic Notes in Theoretical Computer Science, 2004
- TOWARDS A GENERIC OBJECT ORIENTED DECISION SUPPORT SYSTEM FOR UNIVERSITY TIMETABLING: AN INTERACTIVE APPROACHInternational Journal of Information Technology & Decision Making, 2004
- Validating OCL Specifications with the USE Tool: An Example Based on the BART Case StudyElectronic Notes in Theoretical Computer Science, 2003
- Tabu search for large scale timetabling problemsEuropean Journal of Operational Research, 1991
- An introduction to timetablingEuropean Journal of Operational Research, 1985