Refactoring OCL annotated UML class diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might become syn...
Uloženo v:
| Vydáno v: | Software and systems modeling Ročník 7; číslo 1; s. 25 - 47 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Berlin/Heidelberg
Springer-Verlag
01.02.2008
|
| Témata: | |
| ISSN: | 1619-1366, 1619-1374 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might become syntactically incorrect by changing the underlying class diagram. This paper formalizes the most important refactoring rules for class diagrams and classifies them with respect to their impact on attached OCL constraints. For refactoring rules that have an impact on OCL constraints, we formalize the necessary changes of the attached constraints. Our refactoring rules are specified in a graph-grammar inspired formalism. They have been implemented as QVT transformation rules. We finally discuss for our refactoring rules the problem of syntax preservation and show, by using the KeY-system, how this can be resolved. |
|---|---|
| AbstractList | Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but neglect OCL constraints that might become syntactically incorrect by changing the underlying class diagram. This paper formalizes the most important refactoring rules for class diagrams and classifies them with respect to their impact on attached OCL constraints. For refactoring rules that have an impact on OCL constraints, we formalize the necessary changes of the attached constraints. Our refactoring rules are specified in a graph-grammar inspired formalism. They have been implemented as QVT transformation rules. We finally discuss for our refactoring rules the problem of syntax preservation and show, by using the KeY-system, how this can be resolved. |
| Author | Baar, Thomas Marković, Slaviša |
| Author_xml | – sequence: 1 givenname: Slaviša surname: Marković fullname: Marković, Slaviša email: slavisa.markovic@epfl.ch organization: École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences – sequence: 2 givenname: Thomas surname: Baar fullname: Baar, Thomas organization: École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences |
| BookMark | eNp9kMFKxDAQhoOs4LruA3jrAxjNJGnaHqWoK1QWxD2HaZoukW66JBXWt7el4sHDHob5L98w339NFr73lpBbYPfAWPYQgfGM0TGOkyp6uiBLUFBQEJlc_GWlrsg6RlczJnlRSKWW5O7dtmiGPji_T7ZllaD3_YCDbZLdW5WYDmNMGof7gId4Qy5b7KJd_-4V2T0_fZQbWm1fXsvHihohYKCKKS4Ya7mQkudcmKbN6ppBUVtV51Y0ErMUlIHa5E2KUqVWKA4gQCLm0IoVyea7JvQxBttq48afXO-HgK7TwPTkrWdvPcXJW59GEv6Rx-AOGL7PMnxm4nFqwQb92X8FPwqegX4A7KBq_g |
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2014_09_001 crossref_primary_10_1016_j_scico_2013_10_003 crossref_primary_10_1007_s10115_013_0621_2 crossref_primary_10_1007_s10664_013_9283_7 crossref_primary_10_1016_j_jlap_2012_03_006 crossref_primary_10_1007_s10515_012_0114_7 crossref_primary_10_1007_s11219_015_9284_4 crossref_primary_10_1007_s10270_022_00978_2 crossref_primary_10_1007_s10664_019_09717_6 crossref_primary_10_1016_j_jksuci_2014_06_012 crossref_primary_10_1142_S0218194018500365 crossref_primary_10_1007_s11334_022_00525_8 crossref_primary_10_1016_j_jss_2017_09_010 crossref_primary_10_1002_smr_1860 crossref_primary_10_1016_j_is_2016_05_002 crossref_primary_10_1016_j_scico_2022_102829 crossref_primary_10_1016_j_jss_2012_04_080 |
| Cites_doi | 10.1109/MS.2003.1231150 10.1007/s10270-004-0058-x 10.1109/TSE.2004.1265817 10.1007/978-3-540-45221-8_16 10.1007/3-540-45341-5_29 10.1007/11557432_21 10.1007/11767138_7 10.1007/978-3-540-30187-5_13 10.1007/11431855_5 10.1007/978-3-540-27777-4_54 10.1007/978-3-540-39866-0_36 10.1007/978-3-540-70881-0_10 10.1007/978-3-642-18733-9 10.1007/978-3-540-69061-0 10.1007/978-3-540-45221-8_15 10.1007/978-3-540-70881-0_9 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag 2007 |
| Copyright_xml | – notice: Springer-Verlag 2007 |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s10270-007-0056-x |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1619-1374 |
| EndPage | 47 |
| ExternalDocumentID | 10_1007_s10270_007_0056_x |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 123 1N0 203 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5VS 67Z 6NX 8AO 8FE 8FG 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACUHS ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EAD EAP EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HLICF HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV LAS LLZTM M0N M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PF0 PQQKQ PROAC PT4 Q2X QOS R89 R9I RIG RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z5O Z7R Z7S Z7X Z7Z Z81 Z83 Z88 ZMTXR ~8M AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB |
| ID | FETCH-LOGICAL-c331t-6062300f23442823cdf7bb019be6b8e3d4a7516c1bc8d5a465e36211314aa81f3 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 33 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000254668100003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1619-1366 |
| IngestDate | Tue Nov 18 20:55:03 EST 2025 Sat Nov 29 04:10:41 EST 2025 Fri Feb 21 02:34:12 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Graph-transformations Syntax preserving refactoring rules Imperative OCL Source code verification Refactoring QVT |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c331t-6062300f23442823cdf7bb019be6b8e3d4a7516c1bc8d5a465e36211314aa81f3 |
| OpenAccessLink | http://infoscience.epfl.ch/record/109818 |
| PageCount | 23 |
| ParticipantIDs | crossref_citationtrail_10_1007_s10270_007_0056_x crossref_primary_10_1007_s10270_007_0056_x springer_journals_10_1007_s10270_007_0056_x |
| PublicationCentury | 2000 |
| PublicationDate | 2008-02-01 |
| PublicationDateYYYYMMDD | 2008-02-01 |
| PublicationDate_xml | – month: 02 year: 2008 text: 2008-02-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg |
| PublicationTitle | Software and systems modeling |
| PublicationTitleAbbrev | Softw Syst Model |
| PublicationYear | 2008 |
| Publisher | Springer-Verlag |
| Publisher_xml | – name: Springer-Verlag |
| References | CR19 CR18 CR17 CR16 CR15 CR14 CR13 CR12 CR11 CR33 CR10 CR31 CR30 Sendall, Kozaczynski (CR32) 2003; 20 Ahrendt, Baar, Beckert, Bubel, Giese, Hähnle, Menzel, Mostowski, Roth, Schlager, Schmitt (CR1) 2005; 4 CR2 CR4 Mens, Tourwé (CR20) 2004; 30 CR3 CR6 CR5 CR8 CR7 CR29 CR28 CR9 CR27 CR26 CR25 CR24 CR23 CR22 CR21 56_CR30 56_CR31 W. Ahrendt (56_CR1) 2005; 4 56_CR12 56_CR13 56_CR10 56_CR11 56_CR33 56_CR3 56_CR4 56_CR2 56_CR16 56_CR17 56_CR9 56_CR14 S. Sendall (56_CR32) 2003; 20 56_CR15 56_CR7 56_CR8 56_CR5 56_CR18 56_CR6 56_CR19 56_CR23 56_CR24 56_CR21 56_CR22 T. Mens (56_CR20) 2004; 30 56_CR27 56_CR28 56_CR25 56_CR26 56_CR29 |
| References_xml | – ident: CR22 – ident: CR18 – ident: CR4 – ident: CR14 – ident: CR2 – ident: CR16 – volume: 20 start-page: 42 issue: 5 year: 2003 end-page: 45 ident: CR32 article-title: Model transformation: the heart and soul of model-driven software development publication-title: IEEE Softw doi: 10.1109/MS.2003.1231150 – ident: CR12 – ident: CR30 – ident: CR10 – ident: CR33 – ident: CR6 – ident: CR29 – ident: CR8 – ident: CR25 – ident: CR27 – ident: CR23 – ident: CR21 – ident: CR19 – volume: 4 start-page: 32 issue: 1 year: 2005 end-page: 54 ident: CR1 article-title: The KeY tool publication-title: Softw. Syst. Model. doi: 10.1007/s10270-004-0058-x – ident: CR3 – ident: CR15 – ident: CR17 – ident: CR31 – ident: CR13 – ident: CR11 – ident: CR9 – ident: CR5 – ident: CR7 – volume: 30 start-page: 126 issue: 2 year: 2004 end-page: 139 ident: CR20 article-title: A survey of software refactoring publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2004.1265817 – ident: CR28 – ident: CR26 – ident: CR24 – ident: 56_CR6 – ident: 56_CR27 – ident: 56_CR25 – ident: 56_CR29 doi: 10.1007/978-3-540-45221-8_16 – ident: 56_CR8 – ident: 56_CR23 – ident: 56_CR2 – volume: 4 start-page: 32 issue: 1 year: 2005 ident: 56_CR1 publication-title: Softw. Syst. Model. doi: 10.1007/s10270-004-0058-x – ident: 56_CR33 doi: 10.1007/3-540-45341-5_29 – ident: 56_CR18 doi: 10.1007/11557432_21 – ident: 56_CR14 – ident: 56_CR22 – ident: 56_CR11 doi: 10.1007/11767138_7 – ident: 56_CR12 doi: 10.1007/978-3-540-30187-5_13 – ident: 56_CR10 doi: 10.1007/11431855_5 – ident: 56_CR16 doi: 10.1007/978-3-540-27777-4_54 – ident: 56_CR28 – volume: 20 start-page: 42 issue: 5 year: 2003 ident: 56_CR32 publication-title: IEEE Softw doi: 10.1109/MS.2003.1231150 – ident: 56_CR3 doi: 10.1007/978-3-540-39866-0_36 – ident: 56_CR5 doi: 10.1007/978-3-540-70881-0_10 – ident: 56_CR26 – ident: 56_CR24 – ident: 56_CR9 – ident: 56_CR30 – ident: 56_CR31 doi: 10.1007/978-3-642-18733-9 – volume: 30 start-page: 126 issue: 2 year: 2004 ident: 56_CR20 publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2004.1265817 – ident: 56_CR7 doi: 10.1007/978-3-540-69061-0 – ident: 56_CR17 – ident: 56_CR13 – ident: 56_CR19 – ident: 56_CR21 – ident: 56_CR15 doi: 10.1007/978-3-540-45221-8_15 – ident: 56_CR4 doi: 10.1007/978-3-540-70881-0_9 |
| SSID | ssib004299466 ssj0027432 |
| Score | 1.9746677 |
| Snippet | Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation... |
| SourceID | crossref springer |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 25 |
| SubjectTerms | Compilers Computer Science Information Systems Applications (incl.Internet) Interpreters IT in Business Programming Languages Programming Techniques Regular Paper Software Engineering Software Engineering/Programming and Operating Systems |
| Title | Refactoring OCL annotated UML class diagrams |
| URI | https://link.springer.com/article/10.1007/s10270-007-0056-x |
| Volume | 7 |
| WOSCitedRecordID | wos000254668100003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1619-1374 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: K7- dateStart: 20020901 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest advanced technologies & aerospace journals customDbUrl: eissn: 1619-1374 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: P5Z dateStart: 20020901 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1619-1374 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: BENPR dateStart: 20020901 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1619-1374 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: RSV dateStart: 20020901 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB6k9eDF-sT6KDl4UgObTXY3e9TS4qHWUq30tiTZBATZlm4Vf77JPqoFFfS2h9kQhsnMN5nJfADnKvZi40mBI09IzIwxWHiKuIt8wrnxrQc0BdlENBzy6TQeVe-487rbvS5JFp76y2M335GkuKs1G7WxBY5NG-2442sYPzytOVjmMMoq6ypYyiyyiTGhYViXNr9bcj04rVdGi4DTb_1rqzuwXeFLdF0axC5s6GwPWjV3A6qO8j5cjXVJtWPXRffdARJZNnPAM0WTuwFSDlQjazuueSs_gEm_99i9xRVzAlaUkiW2WYlNLTzjU2bTC5-q1ERSWjQndSi5pikTUUBCRaTiaSBYGGgbyAihhAnBiaGH0MhmmT4CZHxpNOVCCO0xlZKYmUAarrXRhMSKt8GrVZaoaqy4Y7d4ST4HIjttJO7TaSN5b8PF6pd5OVPjN-HLWsdJdbzyn6WP_yR9Altl-4frTjmFxnLxqs9gU70tn_NFB5o3veFo3CnM6wMy-cZN |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB6kCnqxPrE-c_CkBjab7G72KMWi2FaprfS2JNkEBNlKt4o_32Qf1YIKetvDbAjDZOabzGQ-gFMVe7HxpMCRJyRmxhgsPEXcRT7h3PjWA5qCbCLq9_l4HN9X77jzutu9LkkWnvrLYzffkaS4qzUbtbEFjsvMBiw3MH_w8LjgYJnDKPOsq2Aps8gmxoSGYV3a_G7JxeC0WBktAk6n-a-tbsB6hS_RZWkQm7Cksy1o1twNqDrK23Ax0CXVjl0X3bW7SGTZxAHPFI16XaQcqEbWdlzzVr4Do87VsH2NK-YErCglM2yzEptaeManzKYXPlWpiaS0aE7qUHJNUyaigISKSMXTQLAw0DaQEUIJE4ITQ3ehkU0yvQfI-NJoyoUQ2mMqJTEzgTRca6MJiRVvgVerLFHVWHHHbvGcfA5EdtpI3KfTRvLegrP5Ly_lTI3fhM9rHSfV8cp_lt7_k_QJrF4Pe92ke9O_PYC1shXEdaocQmM2fdVHsKLeZk_59LgwsQ9JvceX |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEA5SRbxYn1ifOXhSQ5NNdjd7lGpRrLWold6WJJuAINvSXcWfb7KPakEF8baH2SQMk8w3mcl8AByrCEcGS4FCLCRixhgksCLuIp9wbjx7ApqCbCLs9_loFA0qntOsrnavU5LlmwbXpSnN25PEtL88fPMcYYq7ZrMeHFkQuchcHb0L1x-e5g5b5vDKLAIrGMssyokQoUFQpzm_G3LeUc1nSQvn023-e9lrYLXCnfC8NJR1sKDTDdCsOR1gtcU3wdm9Lil47BzwrtODIk3HDpAmcHjbg8qBbWhtyhV1ZVtg2L187FyhilEBKUpJjmy0YkMObDzKbNjhUZWYUEqL8qQOJNc0YSL0SaCIVDzxBQt8bR0cIZQwITgxdBs00nGqdwA0njSaciGExkwlJGLGl4ZrbTQhkeItgGv1xapqN-5YL17iz0bJThux-3TaiN9b4GT2y6TstfGb8Gmt77jadtnP0rt_kj4Cy4OLbty77t_sgZWyQsQVsOyDRj591QdgSb3lz9n0sLC2D0Tt0Hs |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Refactoring+OCL+annotated+UML+class+diagrams&rft.jtitle=Software+and+systems+modeling&rft.au=Markovi%C4%87%2C+Slavi%C5%A1a&rft.au=Baar%2C+Thomas&rft.date=2008-02-01&rft.issn=1619-1366&rft.eissn=1619-1374&rft.volume=7&rft.issue=1&rft.spage=25&rft.epage=47&rft_id=info:doi/10.1007%2Fs10270-007-0056-x&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10270_007_0056_x |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1619-1366&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1619-1366&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1619-1366&client=summon |