%0 Journal Article %1 kosiuczenko_08_redesign %A Kosiuczenko, Piotr %D 2009 %J Software and Systems Modeling %K 2009 ocl formal\_methods \_pdf uml \_to\_appear refactoring %N to appear %R http://dx.doi.org/10.1007/s10270-007-0068-6 %T Redesign of UML class diagrams: a formal approach %U http://dx.doi.org/10.1007/s10270-007-0068-6 %V 8 %X Contracts provide a precise way of specifying object-oriented systems. When a class structure is modified, the corresponding contracts must be modified accordingly. This paper presents a method of transforming contracts, which allows the extension of a mapping defined on a few model elements, to�?what we call�?an interpretation function, and to use this function to automatically translate OCL-constraints. Interestingly, such functions preserve reasoning using propositional calculi, resolution, equations, and induction. Interpretation functions can be used to trace model elements throughout multiple redesigns of UML class diagrams in both the forward, and the backward direction. The applicability of our approach is demonstrated in several examples, including some of Fowler’s refactoring patterns.

@article{kosiuczenko_08_redesign, abstract = {Contracts provide a precise way of specifying object-oriented systems. When a class structure is modified, the corresponding contracts must be modified accordingly. This paper presents a method of transforming contracts, which allows the extension of a mapping defined on a few model elements, to\^{a}€�?what we call\^{a}€�?an interpretation function, and to use this function to automatically translate OCL-constraints. Interestingly, such functions preserve reasoning using propositional calculi, resolution, equations, and induction. Interpretation functions can be used to trace model elements throughout multiple redesigns of UML class diagrams in both the forward, and the backward direction. The applicability of our approach is demonstrated in several examples, including some of Fowler\^{a}€™s refactoring patterns.}, added-at = {2009-03-10T04:36:43.000+0100}, author = {Kosiuczenko, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/2c5ed3cdea356d94303c61a9f23b8b05d/leonardo}, citeulike-article-id = {1857383}, doi = {http://dx.doi.org/10.1007/s10270-007-0068-6}, interhash = {ae7d35bb115b5b4c2e8157b37658ee91}, intrahash = {c5ed3cdea356d94303c61a9f23b8b05d}, journal = {Software and Systems Modeling}, keywords = {2009 ocl formal\_methods \_pdf uml \_to\_appear refactoring}, number = {to appear}, posted-at = {2007-11-02 21:12:35}, priority = {4}, timestamp = {2009-03-10T04:36:43.000+0100}, title = {Redesign of UML class diagrams: a formal approach}, url = {http://dx.doi.org/10.1007/s10270-007-0068-6}, volume = 8, year = 2009 }