UML Model Refactoring as Refinement: A Coalgebraic Perspective Export

@inproceedings{citeulike:5867674, abstract = {Although increasingly popular, Model Driven Architecture (MDA)still lacks suitable formal foundations on top of which rigorousmethodologies for the description, analysis and transformation ofmodels could be built. This paper aims to contribute in thisdirection: building on previous work by the authors on coalgebraicrefinement for software components and architectures, it discussesrefactoring 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 ascoalgebras themselves. This paves the way to a discipline ofmodels' transformations which, being invariant under either behavioural equivalenceor 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.}, address = {Los Alamitos, CA, USA}, author = {Barbosa, Luis S. and Meng, Sun}, booktitle = {2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)}, citeulike-article-id = {5867674}, citeulike-linkout-0 = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.88}, citeulike-linkout-1 = {http://dx.doi.org/10.1109/SYNASC.2008.88}, citeulike-linkout-2 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5204835}, day = {18}, doi = {10.1109/SYNASC.2008.88}, isbn = {978-0-7695-3523-4}, journal = {Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on}, keywords = {2008, refactoring, refinement, uml}, location = {Timisoara, Romania}, month = {September}, pages = {340--347}, posted-at = {2009-10-01 14:35:36}, priority = {5}, publisher = {IEEE Computer Society}, title = {UML Model Refactoring as Refinement: A Coalgebraic Perspective}, url = {http://dx.doi.org/10.1109/SYNASC.2008.88}, volume = {0}, year = {2008} }

TY - CONF ID - citeulike:5867674 L3 - citeulike-article-id:5867674 N2 - Although increasingly popular, Model Driven Architecture (MDA)still lacks suitable formal foundations on top of which rigorousmethodologies for the description, analysis and transformation ofmodels could be built. This paper aims to contribute in thisdirection: building on previous work by the authors on coalgebraicrefinement for software components and architectures, it discussesrefactoring 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 ascoalgebras themselves. This paves the way to a discipline ofmodels' transformations which, being invariant under either behavioural equivalenceor 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. CY - Timisoara, Romania JF - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on SN - 978-0-7695-3523-4 AD - Los Alamitos, CA, USA EP - 347 TI - UML Model Refactoring as Refinement: A Coalgebraic Perspective PB - IEEE Computer Society VL - 0 T2 - 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SP - 340 KW - 2008 KW - refactoring KW - refinement KW - uml AU - Barbosa, Luis AU - Meng, Sun PY - 2008/09/18/ UR - http://dx.doi.org/10.1109/SYNASC.2008.88 ER -