{"id":"https://openalex.org/W2810505663","doi":"https://doi.org/10.1109/fskd.2017.8392914","title":"A relational approach of fuzzy graph grammars","display_name":"A relational approach of fuzzy graph grammars","publication_year":2017,"publication_date":"2017-07-01","ids":{"openalex":"https://openalex.org/W2810505663","doi":"https://doi.org/10.1109/fskd.2017.8392914","mag":"2810505663"},"language":"en","primary_location":{"id":"doi:10.1109/fskd.2017.8392914","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2017.8392914","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://repositorio.ufpel.edu.br/handle/prefix/3838","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022778357","display_name":"Alex Bertei","orcid":"https://orcid.org/0000-0003-0204-9724"},"institutions":[{"id":"https://openalex.org/I169248161","display_name":"Universidade Federal de Pelotas","ror":"https://ror.org/05msy9z54","country_code":"BR","type":"education","lineage":["https://openalex.org/I169248161"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Alex Bertei","raw_affiliation_strings":["Universidade Federal de Pelotas, Laboratory of Ubiquitous and Parallel Systems (LUPS), Pelotas, RS, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pelotas, Laboratory of Ubiquitous and Parallel Systems (LUPS), Pelotas, RS, Brazil","institution_ids":["https://openalex.org/I169248161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086758955","display_name":"Luciana Foss","orcid":"https://orcid.org/0000-0002-0473-4111"},"institutions":[{"id":"https://openalex.org/I169248161","display_name":"Universidade Federal de Pelotas","ror":"https://ror.org/05msy9z54","country_code":"BR","type":"education","lineage":["https://openalex.org/I169248161"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Luciana Foss","raw_affiliation_strings":["Universidade Federal de Pelotas, Laboratory of Ubiquitous and Parallel Systems (LUPS), Pelotas, RS, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pelotas, Laboratory of Ubiquitous and Parallel Systems (LUPS), Pelotas, RS, Brazil","institution_ids":["https://openalex.org/I169248161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110449225","display_name":"Simone Costa","orcid":null},"institutions":[{"id":"https://openalex.org/I169248161","display_name":"Universidade Federal de Pelotas","ror":"https://ror.org/05msy9z54","country_code":"BR","type":"education","lineage":["https://openalex.org/I169248161"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Simone Costa","raw_affiliation_strings":["Universidade Federal de Pelotas, Pelotas, RS, BR"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pelotas, Pelotas, RS, BR","institution_ids":["https://openalex.org/I169248161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044019379","display_name":"Renata Reiser","orcid":"https://orcid.org/0000-0001-9934-3115"},"institutions":[{"id":"https://openalex.org/I169248161","display_name":"Universidade Federal de Pelotas","ror":"https://ror.org/05msy9z54","country_code":"BR","type":"education","lineage":["https://openalex.org/I169248161"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Renata H. S. Reiser","raw_affiliation_strings":["Universidade Federal de Pelotas, Laboratory of Ubiquitous and Parallel Systems (LUPS), Pelotas, RS, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pelotas, Laboratory of Ubiquitous and Parallel Systems (LUPS), Pelotas, RS, Brazil","institution_ids":["https://openalex.org/I169248161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022778357"],"corresponding_institution_ids":["https://openalex.org/I169248161"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31216405,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"61","issue":null,"first_page":"1082","last_page":"1089"},"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.9991000294685364,"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.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/l-attributed-grammar","display_name":"L-attributed grammar","score":0.6298950910568237},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5961911678314209},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.5635297298431396},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46173274517059326},{"id":"https://openalex.org/keywords/context-sensitive-grammar","display_name":"Context-sensitive grammar","score":0.4467412531375885},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.441072940826416},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.4230552911758423},{"id":"https://openalex.org/keywords/null-graph","display_name":"Null graph","score":0.4110603332519531},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37671202421188354},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35137128829956055},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3350663185119629},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.32582277059555054},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.29285693168640137},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.2877398729324341},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.2830088436603546},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.25914978981018066}],"concepts":[{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.6298950910568237},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5961911678314209},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.5635297298431396},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46173274517059326},{"id":"https://openalex.org/C125950753","wikidata":"https://www.wikidata.org/wiki/Q908674","display_name":"Context-sensitive grammar","level":4,"score":0.4467412531375885},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.441072940826416},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.4230552911758423},{"id":"https://openalex.org/C17169500","wikidata":"https://www.wikidata.org/wiki/Q3033506","display_name":"Null graph","level":5,"score":0.4110603332519531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37671202421188354},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35137128829956055},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3350663185119629},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.32582277059555054},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.29285693168640137},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.2877398729324341},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.2830088436603546},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.25914978981018066}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fskd.2017.8392914","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2017.8392914","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)","raw_type":"proceedings-article"},{"id":"pmh:oai:guaiaca.ufpel.edu.br:prefix/3838","is_oa":true,"landing_page_url":"http://repositorio.ufpel.edu.br/handle/prefix/3838","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"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":"instacron:UFPEL","raw_type":"info:eu-repo/semantics/masterThesis"}],"best_oa_location":{"id":"pmh:oai:guaiaca.ufpel.edu.br:prefix/3838","is_oa":true,"landing_page_url":"http://repositorio.ufpel.edu.br/handle/prefix/3838","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"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":"instacron:UFPEL","raw_type":"info:eu-repo/semantics/masterThesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W53766185","https://openalex.org/W83057998","https://openalex.org/W1508113248","https://openalex.org/W1512007370","https://openalex.org/W1556900989","https://openalex.org/W1559870885","https://openalex.org/W1564787711","https://openalex.org/W1574796876","https://openalex.org/W1577544661","https://openalex.org/W1984640803","https://openalex.org/W1999254990","https://openalex.org/W2056291041","https://openalex.org/W2069942804","https://openalex.org/W2074466324","https://openalex.org/W2076808107","https://openalex.org/W2107217767","https://openalex.org/W2110887267","https://openalex.org/W2622763796","https://openalex.org/W2912565176","https://openalex.org/W4205916380","https://openalex.org/W4211007335","https://openalex.org/W4244819751","https://openalex.org/W4254354208","https://openalex.org/W4292078529","https://openalex.org/W6603377046"],"related_works":["https://openalex.org/W2041988689","https://openalex.org/W37677999","https://openalex.org/W4388481545","https://openalex.org/W1970209336","https://openalex.org/W2153803459","https://openalex.org/W1576087595","https://openalex.org/W2403839235","https://openalex.org/W1534696515","https://openalex.org/W2096529162","https://openalex.org/W1491614438"],"abstract_inverted_index":{"Graph":[0],"Grammars":[1],"are":[2,10],"a":[3,59,114,143],"visual":[4],"formal":[5],"language":[6],"for":[7,25,74],"which":[8,56,152],"there":[9],"several":[11],"techniques":[12],"of":[13,35,46,61,69,90,98,106,117,124,131,142,145,156,159,166,183,206],"system":[14],"specification":[15],"and":[16,48,71],"verification.":[17],"This":[18,137],"fact":[19],"makes":[20],"them":[21],"an":[22,52],"attractive":[23],"option":[24],"describing":[26],"complex":[27],"systems.":[28],"Fuzzy":[29],"graph":[30,36,43,76,100,110,118,146,173,191,209],"grammars":[31,93,119,147],"generalize":[32],"the":[33,67,88,96,104,109,122,140,149,154,160,164,181,184,204],"concept":[34,105],"grammars,":[37,77],"using":[38,95],"fuzzy":[39,42,75,91,177,190,208],"graphs.":[40],"A":[41],"is":[44,80,94,113,139,169],"composed":[45],"vertices":[47],"edges":[49],"that":[50,120],"have":[51],"associated":[53],"membership":[54,107],"value,":[55],"varies":[57],"within":[58],"range":[60],"0":[62],"to":[63,66,86,127,170,179,188,195,202],"1.":[64],"Due":[65],"lack":[68],"technique":[70,187],"analysis":[72,89,130],"tools":[73],"their":[78],"use":[79,123,155,182],"still":[81],"quite":[82],"limited.":[83],"One":[84],"way":[85],"allow":[87,180],"graphs":[92],"extension":[97,198],"existing":[99],"grammar":[101,174],"approaches,":[102],"including":[103,176],"in":[108,134],"components.":[111],"There":[112],"relational":[115],"approach":[116,138],"allows":[121],"theorem":[125,157,185],"provers":[126,158],"perform":[128],"property":[129],"systems":[132],"described":[133],"this":[135,167,172,197],"language.":[136],"basis":[141],"translation":[144],"into":[148],"Event-B":[150],"language,":[151],"enables":[153],"Rodin":[161],"tool.":[162],"Therefore,":[163],"aim":[165],"work":[168],"extend":[171],"approach,":[175],"concepts,":[178],"proving":[186],"analyze":[189],"grammars.":[192,210],"In":[193],"order":[194],"set":[196],"was":[199],"first":[200],"necessary":[201],"define":[203],"notion":[205],"typed":[207]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}