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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Software and systems modeling Ročník 7; číslo 1; s. 25 - 47
Hlavní autoři: Marković, Slaviša, Baar, Thomas
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