{"id":"https://openalex.org/W1900335378","doi":null,"title":"Engineering Object-Oriented Semantics Using Graph Transformations","display_name":"Engineering Object-Oriented Semantics Using Graph Transformations","publication_year":2006,"publication_date":"2006-03-01","ids":{"openalex":"https://openalex.org/W1900335378","mag":"1900335378"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.130.2355","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.2355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ub.utwente.nl/webdocs/ctit/1/00000166.pdf","raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W1900335378"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/engineering-objectoriented-semantics-using-graph-transformations(fa90b08c-de4d-41fc-8116-ed1129793be2).html","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037325772","display_name":"Harmen Kastenberg","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Harmen Kastenberg","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033694926","display_name":"Anneke Kleppe","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Anneke Kleppe","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045219123","display_name":"Arend Rensink","orcid":"https://orcid.org/0000-0002-1714-6319","observed_orcids":["https://orcid.org/0000-0002-1714-6319"]},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arend Rensink","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-1714-6319","affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":4.8217,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.94628706,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9707000255584717,"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.9707000255584717,"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/T10126","display_name":"Logic, programming, and type systems","score":0.02889999933540821,"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/T10260","display_name":"Software Engineering Research","score":9.999999747378752e-05,"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/graph-transformation","display_name":"graph transformation","score":0.8650000095367432},{"id":"https://openalex.org/keywords/uml-metamodel","display_name":"UML metamodel","score":0.7440000176429749},{"id":"https://openalex.org/keywords/graph-rewriting-rules","display_name":"graph rewriting rules","score":0.7799999713897705},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.6970000267028809},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.8539999723434448},{"id":"https://openalex.org/keywords/method-overriding","display_name":"method overriding","score":0.984000027179718},{"id":"https://openalex.org/keywords/object-creation","display_name":"object creation","score":0.7820000052452087},{"id":"https://openalex.org/keywords/eclipse-plug-in","display_name":"Eclipse plug-in","score":0.671999990940094},{"id":"https://openalex.org/keywords/grooves","display_name":"grooves","score":0.7519999742507935},{"id":"https://openalex.org/keywords/language-design","display_name":"language design","score":0.6759999990463257}],"concepts":[{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.9010058641433716},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8685132265090942},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7657979726791382},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5921963453292847},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5119305849075317},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.5098649263381958},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5040706396102905},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.49214690923690796},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49129337072372437},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47906312346458435},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1255882978439331},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08271506428718567},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.130.2355","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.2355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ub.utwente.nl/webdocs/ctit/1/00000166.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.80.6386","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.6386","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utwente.nl/~rensink/papers/taal.pdf","raw_type":"text"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/fa90b08c-de4d-41fc-8116-ed1129793be2","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/fa90b08c-de4d-41fc-8116-ed1129793be2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kastenberg, H, Kleppe, A G & Rensink, A 2006, Engineering Object-Oriented Semantics Using Graph Transformations. CTIT Technical Report Series, no. 06-12, Centre for Telematics and Information Technology (CTIT), Enschede. < http://www.ub.utwente.nl/webdocs/ctit/1/00000166.pdf >","raw_type":"book"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/fa90b08c-de4d-41fc-8116-ed1129793be2","doi":null,"is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/engineering-objectoriented-semantics-using-graph-transformations(fa90b08c-de4d-41fc-8116-ed1129793be2).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},{"id":"mag:1900335378","doi":null,"is_oa":false,"landing_page_url":"http://eprints.eemcs.utwente.nl/6140/01/CTIT-TR-06-12.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S2764572581","display_name":"CTIT technical reports series","issn_l":"1381-3625","issn":["1381-3625"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4363603077","host_organization_name":"University of Twente","host_organization_lineage":["https://openalex.org/P4363603077"],"host_organization_lineage_names":["University of Twente"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"CTIT technical report series","raw_type":null}],"best_oa_location":{"id":"pmh:ut:oai:ris.utwente.nl:publications/fa90b08c-de4d-41fc-8116-ed1129793be2","doi":null,"is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/engineering-objectoriented-semantics-using-graph-transformations(fa90b08c-de4d-41fc-8116-ed1129793be2).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G5701018144","display_name":"GRASLAND - Graphs for Software Language Definitions","funder_award_id":"612.063.408","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G9001328864","display_name":"Graphs for Object-Oriented Verification","funder_award_id":"612.000.314","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1900335378.pdf","grobid_xml":"https://content.openalex.org/works/W1900335378.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W1493950382","https://openalex.org/W1495866684","https://openalex.org/W1506818785","https://openalex.org/W1511668635","https://openalex.org/W1520813197","https://openalex.org/W1523742478","https://openalex.org/W1526993786","https://openalex.org/W1544633123","https://openalex.org/W1557561422","https://openalex.org/W1561057365","https://openalex.org/W1579353247","https://openalex.org/W1585733612","https://openalex.org/W1602650507","https://openalex.org/W1644882639","https://openalex.org/W1665726835","https://openalex.org/W1809480526","https://openalex.org/W1847099921","https://openalex.org/W1963719770","https://openalex.org/W2121973092","https://openalex.org/W2129404836","https://openalex.org/W2157522476","https://openalex.org/W2163009019","https://openalex.org/W2163420823","https://openalex.org/W2464808821","https://openalex.org/W2752098725"],"related_works":["https://openalex.org/W2119298939","https://openalex.org/W7095171036","https://openalex.org/W7099001636","https://openalex.org/W2007218229","https://openalex.org/W6989211707","https://openalex.org/W3196370699","https://openalex.org/W2077043493","https://openalex.org/W7097491577","https://openalex.org/W143698982","https://openalex.org/W1567193480"],"abstract_inverted_index":{"In":[0,48,133],"this":[1,67],"paper":[2],"we":[3,51,140,180],"describe":[4],"the":[5,8,14,22,35,49,64,84,122,134,137,186],"application":[6],"of":[7,10,16,24,66,87,116,136,188],"theory":[9],"graph":[11,45,80,130,156,174],"transformations":[12],"to":[13,38,44,172,183],"practise":[15],"language":[17,30,36,77,109],"design.":[18],"We":[19],"have":[20,141],"defined":[21,128],"semantics":[23,43,78,126],"a":[25,53,114,155],"small":[26],"but":[27],"realistic":[28],"object-oriented":[29,76,91],"(called":[31],"TAAL)":[32],"by":[33,159],"mapping":[34,54],"constructs":[37],"graphs":[39],"and":[40,58,105,124,168],"their":[41],"operational":[42],"transformation":[46],"rules.":[47,132],"process":[50],"establish":[52],"between":[55],"UML":[56],"models":[57],"graphs.":[59],"TAAL":[60,150,190],"was":[61],"developed":[62],"for":[63],"purpose":[65],"paper,":[68],"as":[69],"an":[70,143],"extensive":[71],"case":[72,138],"study":[73],"in":[74,119,154],"engineering":[75],"using":[79,129],"transformation.":[81],"It":[82],"incorporates":[83],"basic":[85],"aspects":[86],"many":[88],"commonly":[89],"used":[90],"programming":[92,98],"languages:":[93],"apart":[94],"from":[95],"essential":[96],"imperative":[97],"constructs,":[99],"it":[100,169],"includes":[101],"inheritance,":[102],"object":[103],"creation":[104],"method":[106],"overriding.":[107],"The":[108],"specification":[110],"is":[111,165,170],"based":[112],"on":[113],"number":[115],"meta-models":[117],"written":[118],"UML.":[120],"Both":[121],"static":[123],"dynamic":[125],"are":[127,181],"rewriting":[131],"course":[135],"study,":[139],"built":[142],"Eclipse":[144],"plug-in":[145],"that":[146],"automatically":[147],"transforms":[148],"arbitrary":[149],"programs":[151],"into":[152],"graphs,":[153],"format":[157],"readable":[158],"another":[160],"tool.":[161],"This":[162],"second":[163],"tool":[164],"called":[166],"Groove,":[167],"able":[171,182],"execute":[173],"transformations.":[175],"By":[176],"combining":[177],"both":[178],"tools":[179],"visually":[184],"simulate":[185],"execution":[187],"any":[189],"program.":[191]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-14T11:04:58.165337","created_date":"2016-06-24T00:00:00"}