DSpace UNL

RUN >
Faculdade de Ciências e Tecnologia (FCT) >
FCT Departamentos >
FCT: Departamento de Informática >
FCT: DI - Dissertações de Mestrado >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10362/3981

Título: Refinamento de diagramas de classes: análise e verificação
Autor: Ferreira, Ana Cristina Martins
Orientador: Ferreira, Carla
Palavras-chave: Diagramas de classes
UML (Unified Modelling Language)
OCL (Object Constraint Language)
Alloy e alloy analyzer
Transformações de refinamento
Issue Date: 2009
Editora: Faculdade de Ciências e Tecnologia
Resumo: A qualidade do Software foi sempre uma das grandes preocupações das empresas de desenvolvimento de software. O suporte à constante necessidade de actualização e adaptações dos sistemas é essencial ao sucesso dos mesmos. O paradigma orientado a objectos centraliza uma grande parte dos seus esforços, na criação de sistemas de software bem planeados, robustos, modificáveis e, sempre que possível, reutilizáveis. O UML (Unified Modelling Language) é uma linguagem de modulação visual, complementada pela linguagem de especificação formal de restrições OCL (Object Constraint Language). O OCL permite aumentar a expressividade dos diagramas, mas não consegue colmatar totalmente a informalidade do UML. O refinamento baseia-se na premissa de que temos uma dada especificação e através de um conjunto de regras bem-formadas podemos obter uma segunda especificação aperfeiçoada, em que o comportamento inicialmente observado é mantido. O Alloy é uma linguagem de especificação formal, orientada a objectos, direccionada para a criação de micro-modelos, que nos possibilita a análise e verificação formal, através da ferramenta associada Alloy Analyzer. Com o objectivo de verificar a correcção das transformações de refinamento de diagramas de classe do UML, propomos a definição de um conjunto de regras de refinamento. Com base nessas regras e nos modelos (modelo original e concreto), propomos usar a ferramenta Alloy Analyzer para a verificação formal automática da correcção do refinamento.
Descrição: Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática
URI: http://hdl.handle.net/10362/3981
Appears in Collections:FCT: DI - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
Ferreira_2010.pdf1,86 MBAdobe PDFView/Open
Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

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

 

Universidade Nova de Lisboa  - Feedback
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia