%0 Journal Article %1 gheyi_05_abstract %A Gheyi, Rohit %A Massoni, Tiago %A Borba, Paulo %B Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004) %D 2005 %J Electronic Notes in Theoretical Computer Science %K _hardcopy equivalence 2005 alloy objects %P 3--21 %R 10.1016/j.entcs.2005.03.002 %T An Abstract Equivalence Notion for Object Models %U http://dx.doi.org/10.1016/j.entcs.2005.03.002 %V 130 %X Equivalence notions for object models are usually too concrete in the sense that they assume that the compared models are formed by elements with the same names. This is not adequate in several situations: during model refactoring, when using auxiliary model elements, or when the compared models comprise distinct but corresponding elements. So, in this paper, we propose a more abstract and language-independent equivalence notion for object models. It supports, as desired, abstraction from names and elements when comparing models. We use the PVS system to specify and prove properties of our notion. It is illustrated here by comparing simple models in Alloy, a formal object-oriented modeling language, but has also been applied for deriving a comprehensive set of algebraic laws for Alloy.

@article{gheyi_05_abstract, abstract = {Equivalence notions for object models are usually too concrete in the sense that they assume that the compared models are formed by elements with the same names. This is not adequate in several situations: during model refactoring, when using auxiliary model elements, or when the compared models comprise distinct but corresponding elements. So, in this paper, we propose a more abstract and language-independent equivalence notion for object models. It supports, as desired, abstraction from names and elements when comparing models. We use the PVS system to specify and prove properties of our notion. It is illustrated here by comparing simple models in Alloy, a formal object-oriented modeling language, but has also been applied for deriving a comprehensive set of algebraic laws for Alloy.}, added-at = {2009-02-11T21:02:19.000+0100}, author = {Gheyi, Rohit and Massoni, Tiago and Borba, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2593cdb8df77fbf81daa2c25e199c418b/leonardo}, booktitle = {Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004)}, citeulike-article-id = {2300163}, doi = {10.1016/j.entcs.2005.03.002}, interhash = {c76cc1727cfaf475c8c2580496222a8d}, intrahash = {593cdb8df77fbf81daa2c25e199c418b}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {_hardcopy equivalence 2005 alloy objects}, month = May, pages = {3--21}, posted-at = {2008-01-28 23:27:48}, priority = {2}, timestamp = {2009-02-11T21:02:19.000+0100}, title = {An Abstract Equivalence Notion for Object Models}, url = {http://dx.doi.org/10.1016/j.entcs.2005.03.002}, volume = 130, year = 2005 }