Aplicação da OCL à especificação do problema de elaboração de horários

Abstract

Um horário bem elaborado é um requisito importante para a boa administração de qualquer instituição de ensino superior. Porém, o grande número de factores envolvidos, como a quantidade de unidades curriculares, a alocação dos docentes e a distribuição dos recursos, torna o problema da criação dos horários muito complexo. A OCL (Object Constraint Language) é uma linguagem que pode ser utilizada para especificar, de forma precisa, elementos que as notações gráficas da UML não são capazes de representar, como, por exemplo, restrições, expressões associadas a atributos derivados, expressões de consulta e definições contratuais de operações. Embora a OCL tenha sido definida com o objectivo de ser uma linguagem de uso mais fácil, se comparada às linguagens formais tradicionais, as especificações produzidas com a OCL podem apresentar problemas de legibilidade e manuseamento. Este trabalho utiliza a OCL para a modelação de uma ferramenta de elaboração e optimização de horários e a conversão delas para SQL através de uma ferramenta de transformação automática baseada em MDA. Com isso, pretende-se testar a capacidade expressiva e robustez da linguagem OCL como forma de validar se um modelo satisfaz ou não um conjunto de restrições, independentemente da forma como ele foi obtido. Ou seja, pretende-se responder à seguinte questão: A OCL pode ser utilizada para definir, de forma precisa e não ambígua, as restrições e a semântica das operações de um modelo?

A well-designed timetable is an important prerequisite for the proper administration of any institution of higher education. However, the large number of factors involved, such as the amount of course units, the allocation of teachers and distribution of resources makes the issue of creation of very complex timetable. The OCL (Object Constraint Language) is a language that can be used to specify, precisely, that the elements of the UML graphical notations are not capable of representing, for example, constraints associated with attributes derived expressions, query expressions and definitions of contractual transactions. Although the OCL has been defined in order to be an easier language to use when compared to traditional formal languages, the specifications produced with the OCL can present problems in handling and readability. This work uses OCL for modeling a tool for development and optimization of timetables and their conversion to SQL via an automated transformation tool based on MDA. With this, we intend to test the expressive power and robustness of language OCL in order to validate whether or not a model fits a set of constraints, regardless of how it was obtained. That is, we intend to answer the following question: The OCL can be used to define, precisely and unambiguously, the constraints and semantics of the operations of a model?