Skip navigation
User training | Reference and search service

Library catalog

Retrievo
EDS
b-on
More
resources
Content aggregators
Please use this identifier to cite or link to this item:

acessibilidade

http://hdl.handle.net/10071/2800
acessibilidade
Title: Aplicação da OCL à especificação do problema de elaboração de horários
Authors: Moreira, Cláudia Maria da Rocha
Orientador: Ramos, Pedro Nogueira
Keywords: Elaboração de horários
restrições
OCL
Timetabling
constraints
Issue Date: 28-Jul-2011
Citation: MOREIRA, Cláudia Maria da Rocha - Aplicação da OCL à especificação do problema de elaboração de horários [Em linha]. Lisboa: ISCTE, 2011. Dissertação de mestrado. [Consult. Dia Mês Ano] Disponível em www:<http://hdl.handle.net/10071/2800>.
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?
URI: http://hdl.handle.net/10071/2800
Designation: Mestrado em Gestão de Sistemas de Informação
Appears in Collections:T&D-DM - Dissertações de mestrado

Files in This Item:
acessibilidade
File Description SizeFormat 
Aplicação da OCL à especificação do problema de elaboração de horários.pdf3.17 MBAdobe PDFView/Open


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.