{"id":"https://openalex.org/W2005543934","doi":"https://doi.org/10.1007/s00165-007-0067-y","title":"Graph transformations for object-oriented refinement","display_name":"Graph transformations for object-oriented refinement","publication_year":2008,"publication_date":"2008-01-07","ids":{"openalex":"https://openalex.org/W2005543934","doi":"https://doi.org/10.1007/s00165-007-0067-y","mag":"2005543934"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-007-0067-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0067-y","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0067-y","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0067-y","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101485090","display_name":"Liang Zhao","orcid":"https://orcid.org/0000-0003-1751-8618"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang Zhao","raw_affiliation_strings":["UNU-IIST, P. O. Box 3058, Macao SAR, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNU-IIST, P. O. Box 3058, Macao SAR, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100689967","display_name":"Xiaojian Liu","orcid":"https://orcid.org/0000-0001-8147-9954"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaojian Liu","raw_affiliation_strings":["UNU-IIST, P. O. Box 3058, Macao SAR, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNU-IIST, P. O. Box 3058, Macao SAR, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100405109","display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":["UNU-IIST, P. O. Box 3058, Macao SAR, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNU-IIST, P. O. Box 3058, Macao SAR, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015759231","display_name":"Zongyan Qiu","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zongyan Qiu","raw_affiliation_strings":["LMAM and Department of Informatics, School of Mathematics, Peking University, Beijing, China","Peking University, LMAM and Department of Informatics, School of Mathematics, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMAM and Department of Informatics, School of Mathematics, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Peking University, LMAM and Department of Informatics, School of Mathematics, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":5.8067,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.9549324,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"21","issue":"1-2","first_page":"103","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7463603615760803},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6627542972564697},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.5875546336174011},{"id":"https://openalex.org/keywords/declaration","display_name":"Declaration","score":0.5478891134262085},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5058519840240479},{"id":"https://openalex.org/keywords/method","display_name":"Method","score":0.45464026927948},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.44086581468582153},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42704692482948303},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4179304242134094},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.4111563563346863},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.2515285015106201},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1717645525932312},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.147763192653656},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1375429630279541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7463603615760803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6627542972564697},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.5875546336174011},{"id":"https://openalex.org/C138147947","wikidata":"https://www.wikidata.org/wiki/Q1183659","display_name":"Declaration","level":2,"score":0.5478891134262085},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5058519840240479},{"id":"https://openalex.org/C512554520","wikidata":"https://www.wikidata.org/wiki/Q815844","display_name":"Method","level":3,"score":0.45464026927948},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.44086581468582153},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42704692482948303},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4179304242134094},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.4111563563346863},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2515285015106201},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1717645525932312},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.147763192653656},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1375429630279541}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-007-0067-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0067-y","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0067-y","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-007-0067-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0067-y","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0067-y","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2005543934.pdf","grobid_xml":"https://content.openalex.org/works/W2005543934.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W157330331","https://openalex.org/W175157178","https://openalex.org/W1499801993","https://openalex.org/W1506069583","https://openalex.org/W1506818785","https://openalex.org/W1508113248","https://openalex.org/W1532627295","https://openalex.org/W1536494975","https://openalex.org/W1537432317","https://openalex.org/W1544633123","https://openalex.org/W1552647623","https://openalex.org/W1562934601","https://openalex.org/W1564637213","https://openalex.org/W1564913344","https://openalex.org/W1569338469","https://openalex.org/W1569748992","https://openalex.org/W1573258001","https://openalex.org/W1575681083","https://openalex.org/W1577544661","https://openalex.org/W1600863532","https://openalex.org/W1880655000","https://openalex.org/W1918806322","https://openalex.org/W1945350451","https://openalex.org/W1998455310","https://openalex.org/W2041911176","https://openalex.org/W2074923340","https://openalex.org/W2078893609","https://openalex.org/W2104234930","https://openalex.org/W2109541059","https://openalex.org/W2117879955","https://openalex.org/W2119298939","https://openalex.org/W2121973092","https://openalex.org/W2124598569","https://openalex.org/W2124873137","https://openalex.org/W2146724103","https://openalex.org/W2152625401","https://openalex.org/W2159609157","https://openalex.org/W2159765281","https://openalex.org/W2161901678","https://openalex.org/W2163530594","https://openalex.org/W2199154280","https://openalex.org/W2915014422","https://openalex.org/W3094535065","https://openalex.org/W3140353777","https://openalex.org/W4251620131","https://openalex.org/W4254863600","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1482645738","https://openalex.org/W2528467228","https://openalex.org/W2416582580","https://openalex.org/W1680400127","https://openalex.org/W2385744953","https://openalex.org/W940661043","https://openalex.org/W1602504454","https://openalex.org/W1986466356","https://openalex.org/W4210370796","https://openalex.org/W76785260"],"abstract_inverted_index":{"Abstract":[0],"An":[1],"object-oriented":[2,25,109,283,314,343,378],"program":[3,155],"consists":[4],"of":[5,8,23,39,49,51,65,106,141,153,166,181,212,227,246,270,282,293,319,327,331,351,367],"a":[6,12,145,154,159,189,221,235,280],"section":[7,19,152],"class":[9,17,57,88,116,127,150,160,168,190,207,253],"declarations":[10,60],"and":[11,33,67,100,139,163,192,201,264,311,324,359,372],"main":[13,41,82,92],"method":[14,42,370],".":[15,230],"The":[16,37,317,356],"declaration":[18,89,117,128,151],"represents":[20],"the":[21,29,31,40,44,52,56,62,76,81,112,121,142,149,164,167,178,182,206,210,225,244,251,274,290,299,320,325,328,349,352,360,365],"structure":[22,208,222,228,232],"an":[24,103,287],"program,":[26],"that":[27,85,176,242,249],"is":[28,102,156,234,322,334],"data,":[30],"classes":[32,53],"relations":[34],"among":[35],"them.":[36],"execution":[38],"realizes":[43],"application":[45,77],"by":[46,172,224,375],"invoking":[47],"methods":[48,93],"objects":[50,66],"defined":[54,341],"in":[55,74,108,205,297,313,377],"declarations.":[58],"Class":[59],"define":[61,188],"general":[63],"properties":[64],"how":[68],"they":[69],"collaborate":[70],"with":[71,134,336],"each":[72,332],"other":[73,113],"realizing":[75],"task":[78],"programmed":[79,96],"as":[80,158,196,262,265,273,286],"method.":[83],"Note":[84],"for":[86,97,342],"one":[87,238],"section,":[90],"different":[91,98,115,126],"can":[94,130],"be":[95,256],"applications,":[99,123],"this":[101,185],"important":[104],"feature":[105],"reuse":[107,138],"programming.":[110],"On":[111],"hand,":[114],"sections":[118,129],"may":[119],"support":[120],"same":[122],"but":[124],"these":[125],"make":[131],"significant":[132],"difference":[133],"regards":[135],"to":[136,240,258,289,308,338],"understanding,":[137],"maintainability":[140],"applications.":[143],"With":[144],"UML-like":[146],"modeling":[147],"language,":[148],"represented":[157,171],"diagram":[161,169,191],",":[162,175,200,285,296],"instances":[165],"are":[170,302],"object":[173,194,373],"diagrams":[174,195],"form":[177],"state":[179],"space":[180],"program.":[183],"In":[184],"paper,":[186],"we":[187],"its":[193],"directed":[197],"labeled":[198],"graphs":[199],"investigate":[202],"what":[203],"changes":[204],"maintain":[209],"capability":[211,245],"providing":[213,247],"functionalities":[214],"(or":[215],"services":[216,267],").":[217],"We":[218,277],"formalize":[219],"such":[220],"change":[223],"notion":[226],"refinement":[229,233,284,295,300,329,354],"A":[231],"transformation":[236],"from":[237],"graph":[239,254],"another":[241],"preserves":[243],"services,":[248],"is,":[250],"resulting":[252],"should":[255],"able":[257],"provide":[259],"at":[260],"least":[261],"many,":[263],"good,":[266],"(in":[268],"terms":[269],"functional":[271],"refinement)":[272],"original":[275],"graph.":[276],"then":[278],"develop":[279],"calculus":[281,321],"extension":[288],"classical":[291],"theory":[292],"data":[294],"which":[298],"rules":[301,330],"classified":[303],"into":[304],"four":[305],"categories":[306],"according":[307],"their":[309],"natures":[310],"uses":[312],"software":[315],"design.":[316],"soundness":[318],"proved":[323],"completeness":[326,346,361],"category":[333],"established":[335],"regard":[337],"normal":[339,357],"forms":[340,358],"programs.":[344],"These":[345],"results":[347,362],"show":[348],"power":[350],"simple":[353],"rules.":[355],"together":[363],"capture":[364],"essence":[366],"polymorphism,":[368],"dynamic":[369],"binding":[371],"sharing":[374],"references":[376],"computation.":[379]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}