{"id":"https://openalex.org/W6885987394","doi":"https://doi.org/10.14279/tuj.eceasst.82.1220","title":"SOS-Supported Graph Transformation","display_name":"SOS-Supported Graph Transformation","publication_year":2024,"publication_date":"2024-03-25","ids":{"openalex":"https://openalex.org/W6885987394","doi":"https://doi.org/10.14279/tuj.eceasst.82.1220"},"language":"en","primary_location":{"id":"doi:10.14279/tuj.eceasst.82.1220","is_oa":true,"landing_page_url":"https://doi.org/10.14279/tuj.eceasst.82.1220","pdf_url":null,"source":{"id":"https://openalex.org/S7407052985","display_name":"Technische Universit\u00e4t Berlin \u2013 Universit\u00e4tsbibliothek","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4577782","host_organization_name":"Technische Universit\u00e4t Berlin","host_organization_lineage":["https://openalex.org/I4577782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.14279/tuj.eceasst.82.1220","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Teumert, Sebastian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Teumert, Sebastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Krause, Marvin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krause, Marvin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Steffen, Bernhard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steffen, Bernhard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26120219,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9699000120162964,"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.9699000120162964,"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/T10799","display_name":"Data Visualization and Analytics","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12292","display_name":"Graph Theory and Algorithms","score":0.0038999998942017555,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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-rewriting","display_name":"Graph rewriting","score":0.7386999726295471},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.476500004529953},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4731999933719635},{"id":"https://openalex.org/keywords/graphical-model","display_name":"Graphical model","score":0.46399998664855957},{"id":"https://openalex.org/keywords/directed-graph","display_name":"Directed graph","score":0.4478999972343445},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.3921999931335449},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.3889000117778778},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3711000084877014}],"concepts":[{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.7386999726295471},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6395999789237976},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6154000163078308},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.476500004529953},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4731999933719635},{"id":"https://openalex.org/C155846161","wikidata":"https://www.wikidata.org/wiki/Q1143367","display_name":"Graphical model","level":2,"score":0.46399998664855957},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.4478999972343445},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.3921999931335449},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.3889000117778778},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.3682999908924103},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3610999882221222},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.351500004529953},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.3441999852657318},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3296000063419342},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.3285999894142151},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.32280001044273376},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C5737132","wikidata":"https://www.wikidata.org/wiki/Q1101814","display_name":"Clique-width","level":5,"score":0.2865000069141388},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28029999136924744},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2587999999523163},{"id":"https://openalex.org/C106891557","wikidata":"https://www.wikidata.org/wiki/Q4148051","display_name":"Wait-for graph","level":4,"score":0.251800000667572},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14279/tuj.eceasst.82.1220","is_oa":true,"landing_page_url":"https://doi.org/10.14279/tuj.eceasst.82.1220","pdf_url":null,"source":{"id":"https://openalex.org/S7407052985","display_name":"Technische Universit\u00e4t Berlin \u2013 Universit\u00e4tsbibliothek","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4577782","host_organization_name":"Technische Universit\u00e4t Berlin","host_organization_lineage":["https://openalex.org/I4577782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"JournalArticle"}],"best_oa_location":{"id":"doi:10.14279/tuj.eceasst.82.1220","is_oa":true,"landing_page_url":"https://doi.org/10.14279/tuj.eceasst.82.1220","pdf_url":null,"source":{"id":"https://openalex.org/S7407052985","display_name":"Technische Universit\u00e4t Berlin \u2013 Universit\u00e4tsbibliothek","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4577782","host_organization_name":"Technische Universit\u00e4t Berlin","host_organization_lineage":["https://openalex.org/I4577782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},"sustainable_development_goals":[{"score":0.6275572776794434,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,46],"propose":[4],"a":[5,39,48,106,117,139],"simplicity-oriented":[6],"approach":[7],"for":[8,61,73,116,145],"model-tomodel":[9],"transformations":[10,75,114],"of":[11,76,91,111,119,129,158],"graphical":[12,40],"languages.":[13],"Key":[14],"to":[15,85,138],"simplicity":[16],"is":[17],"decomposing":[18],"the":[19,43,62,89,92,131,156,159],"rule":[20,24,36,68,97],"system":[21,98],"into":[22],"two":[23],"sub-systems":[25],"that":[26],"separate":[27],"purpose-specific":[28],"aspects":[29],"(transformation":[30],"and":[31,33,108,148],"computation),":[32],"specifying":[34],"these":[35,67,124],"systems":[37,69],"as":[38,59,70],"language.":[41],"For":[42],"transformational":[44],"aspect,":[45],"use":[47,120],"compiler-like":[49],"generation":[50],"approach,":[51],"while":[52],"taking":[53],"Plotkin\u2019s":[54],"Structural":[55],"Operational":[56],"Semantics":[57],"(SOS)":[58],"inspiration":[60],"computational":[63],"aspect.":[64],"We":[65,122],"define":[66],"inference":[71],"rules":[72,125],"pattern-based":[74],"typed,":[77],"hierarchical":[78],"graphs.":[79],"Using":[80],"typed":[81],"graphs":[82],"allows":[83],"patterns":[84],"easily":[86],"distinguish":[87],"between":[88],"elements":[90],"source":[93],"graph.":[94],"The":[95],"resulting":[96],"(named":[99],"SOS-Supported":[100],"Graph":[101],"Transformation,":[102],"or":[103],"SOS-GT)":[104],"supports":[105],"well-structured":[107],"intuitive":[109],"specification":[110],"complex":[112],"model-to-model":[113],"adequate":[115],"variety":[118],"cases.":[121],"illustrate":[123],"with":[126],"an":[127,135,150],"example":[128],"transforming":[130],"WebStory":[132],"language":[133],"(WSL,":[134],"educational":[136],"tool)":[137],"Kripke":[140],"Transition":[141],"System":[142],"(KTS)":[143],"suitable":[144],"model":[146],"checking,":[147],"give":[149],"overview":[151],"over":[152],"more":[153],"applications":[154],"in":[155],"end":[157],"paper.":[160]},"counts_by_year":[],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}