[en] COMPUTATIONAL SUPPORT TO FRAMEWORK

MARIELA INES CORTES

[pt] SUPORTE COMPUTACIONAL À EVOLUÇÃO DE FRAMEWORKS

dc.contributor	CARLOS JOSE PEREIRA DE LUCENA
dc.contributor	CARLOS JOSE PEREIRA DE LUCENA
dc.creator	MARIELA INES CORTES
dc.date	2003-09-18
dc.date.accessioned	2022-09-21T21:41:55Z
dc.date.available	2022-09-21T21:41:55Z
dc.identifier	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3913@1
dc.identifier	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3913@2
dc.identifier	http://doi.org/10.17771/PUCRio.acad.3913
dc.identifier.uri	https://hdl.handle.net/20.500.12032/42209
dc.description	[pt] O desenvolvimento de frameworks é caro, não só pela dificuldade intrínseca relacionada à captura do conhecimento do domínio, mas também por causa da falta de métodos e técnicas apropriados para dar suporte à sua evolução e desenvolvimento iterativo. Neste trabalho de tese é proposta a utilização de duas técnicas complementares para dar suporte a evolução de frameworks: regras de refactoring e regras de extensão. A técnica de refactoring foi desenvolvida para restruturar software de forma a tornar o código mais legível e fácil de ser reutilizado. Regras da extensão são propostas para modificar a estrutura de pontos de variação do framework, possibilitando a adição mais fácil de novas funcionalidades no design. Ambas as técnicas preservam o comportamento observável dos programas. Esta propriedade é verificada formalmente usando-se CCS e técnicas de verificação de modelo. A abordagem proposta é testada com o auxílio de uma ferramenta semiautomática, desenvolvida para dar suporte à aplicação das regras definidas.
dc.description	[en] Framework development is expensive not only because of the intrinsic difficulty related to the elicitation of domain knowledge but also because of the lack of methods and techniques to support its evolution and interactive development. The present thesis proposes the use of two complementary techniques to support framework evolution: refactoring and extension rules. The refactoring technique has been developed to enable software re-structuring in a way to produce more readable and reusable code. Extension rules have been proposed to change the structure of the framework variation points by allowing the addition of new design functionalities. Both techniques preserve the observable behavior of programs. This property is formally verified in this work by using CCS approach to model checking. The proposed approach has been tested by means of a tool specially developed to support the application of the defined rules.
dc.language	pt
dc.publisher	MAXWELL
dc.subject	[pt] FRAMEWORKS ORIENTADOS A OBJETOS
dc.subject	[pt] DESENVOLVIMENTO ITERATIVO
dc.subject	[pt] EVOLUCAO
dc.subject	[en] OBJECT ORIENTED FRAMEWORKS
dc.subject	[en] ITERATIVE DEVELOPMENT
dc.subject	[en] EVOLUTION
dc.title	[en] COMPUTATIONAL SUPPORT TO FRAMEWORK
dc.title	[pt] SUPORTE COMPUTACIONAL À EVOLUÇÃO DE FRAMEWORKS
dc.type	TEXTO

Files in this item

Files	Size	Format	View
There are no files associated with this item.

This item appears in the following Collection(s)

Documentos - PUC-RIO

Show simple item record