A Complete Set of Object Modeling Laws for Alloy Export

@incollection{citeulike:6084205, abstract = {Applying transformations to object-oriented systems usually affects source code and its associated models, involving complex maintenance efforts to keep those artifacts up to date. Most projects abandon design information in the form of models early in the life cycle, as their maintenance becomes extremely expensive. In this paper, we propose a complete catalog of object model laws (bidirectional semantics-preserving transformations) for Alloy, a formal object-oriented modeling language. We address relative completeness through a reduction process that transforms an arbitrary Alloy model into an equivalent model in a core language (normal form). We evaluate our completeness result using two distinct normal forms.}, author = {Gheyi, Rohit and Massoni, Tiago and Borba, Paulo and Sampaio, Augusto}, citeulike-article-id = {6084205}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-642-10452-7_14}, citeulike-linkout-1 = {http://www.springerlink.com/content/c21q450715155r11}, doi = {10.1007/978-3-642-10452-7_14}, journal = {Formal Methods: Foundations and Applications}, keywords = {2009, alloy}, pages = {204--219}, posted-at = {2009-11-08 13:54:34}, priority = {2}, title = {A Complete Set of Object Modeling Laws for Alloy}, url = {http://dx.doi.org/10.1007/978-3-642-10452-7_14}, year = {2009} }

TY - CHAP ID - citeulike:6084205 L3 - citeulike-article-id:6084205 N2 - Applying transformations to object-oriented systems usually affects source code and its associated models, involving complex maintenance efforts to keep those artifacts up to date. Most projects abandon design information in the form of models early in the life cycle, as their maintenance becomes extremely expensive. In this paper, we propose a complete catalog of object model laws (bidirectional semantics-preserving transformations) for Alloy, a formal object-oriented modeling language. We address relative completeness through a reduction process that transforms an arbitrary Alloy model into an equivalent model in a core language (normal form). We evaluate our completeness result using two distinct normal forms. JF - Formal Methods: Foundations and Applications EP - 219 TI - A Complete Set of Object Modeling Laws for Alloy SP - 204 KW - 2009 KW - alloy AU - Gheyi, Rohit AU - Massoni, Tiago AU - Borba, Paulo AU - Sampaio, Augusto PY - 2009/// UR - http://dx.doi.org/10.1007/978-3-642-10452-7_14 ER -