Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20260
Título: | UML model refactoring as refinement: a coalgebraic perspective |
Autor(es): | Barbosa, L. S. Meng, Sun |
Palavras-chave: | UML Coalgebraic semantics |
Data: | 2009 |
Editora: | IEEE |
Resumo(s): | Although increasingly popular, Model Driven Architecture (MDA) still lacks suitable formal foundations on top of which rigorous methodologies for the description, analysis and transformation of models could be built. This paper aims to contribute in this direction: building on previous work by the authors on coalgebraic refinement for software components and architectures, it discusses refactoring of models within a coalgebraic semantic framework. Architectures are defined through aggregation based on a coalgebraic semantics for (subsets of) UML. On the other hand, such aggregations, no matter how large and complex they are, can always be dealt with as coalgebras themselves. This paves the way to a discipline of models’ transformations which, being invariant under either behavioural equivalence or refinement, are able to formally capture a large number of refactoring patterns. The main ideas underlying this research are presented through a detailed example in the context of refactoring of UML class diagrams. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/20260 |
ISBN: | 978-0-7695-3523-4 |
DOI: | 10.1109/SYNASC.2008.88 |
Versão da editora: | http://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.88 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SYNASC08-BM.pdf | preprint | 678,84 kB | Adobe PDF | Ver/Abrir |