{"id":"https://openalex.org/W2898793585","doi":"https://doi.org/10.1109/access.2018.2878311","title":"Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance","display_name":"Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2898793585","doi":"https://doi.org/10.1109/access.2018.2878311","mag":"2898793585"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2878311","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2878311","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2878311","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087393894","display_name":"Jon Ha\u00ebl Brenas","orcid":"https://orcid.org/0000-0001-9395-9365"},"institutions":[{"id":"https://openalex.org/I160606119","display_name":"University of Tennessee Health Science Center","ror":"https://ror.org/0011qv509","country_code":"US","type":"education","lineage":["https://openalex.org/I160606119"]},{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jon Hael Brenas","raw_affiliation_strings":["Oak Ridge National Laboratory, Center for Biomedical Informatics, University of Tennessee Health Science Center, Memphis, TN, USA"],"affiliations":[{"raw_affiliation_string":"Oak Ridge National Laboratory, Center for Biomedical Informatics, University of Tennessee Health Science Center, Memphis, TN, USA","institution_ids":["https://openalex.org/I1289243028","https://openalex.org/I160606119"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004844102","display_name":"Martin Strecker","orcid":"https://orcid.org/0000-0001-9953-9871"},"institutions":[{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Martin Strecker","raw_affiliation_strings":["IRIT Institute, Universit\u00e9 de Toulouse, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"IRIT Institute, Universit\u00e9 de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I17866349","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075605280","display_name":"Rachid Echahed","orcid":"https://orcid.org/0000-0002-8535-8057"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Rachid Echahed","raw_affiliation_strings":["CNRS and the Laboratoire d\u2019Informatique de Grenoble, Universit\u00e9 Grenoble Alpes, Grenoble, France","CNRS and the Laboratoire d'Informatique de Grenoble, Universit\u00e9 Grenoble Alpes, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"CNRS and the Laboratoire d\u2019Informatique de Grenoble, Universit\u00e9 Grenoble Alpes, Grenoble, France","institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I899635006","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS and the Laboratoire d'Informatique de Grenoble, Universit\u00e9 Grenoble Alpes, Grenoble, France","institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057391353","display_name":"Arash Shaban\u2010Nejad","orcid":"https://orcid.org/0000-0003-2047-4759"},"institutions":[{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]},{"id":"https://openalex.org/I160606119","display_name":"University of Tennessee Health Science Center","ror":"https://ror.org/0011qv509","country_code":"US","type":"education","lineage":["https://openalex.org/I160606119"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arash Shaban-Nejad","raw_affiliation_strings":["Oak Ridge National Laboratory, Center for Biomedical Informatics, University of Tennessee Health Science Center, Memphis, TN, USA"],"affiliations":[{"raw_affiliation_string":"Oak Ridge National Laboratory, Center for Biomedical Informatics, University of Tennessee Health Science Center, Memphis, TN, USA","institution_ids":["https://openalex.org/I1289243028","https://openalex.org/I160606119"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5087393894"],"corresponding_institution_ids":["https://openalex.org/I1289243028","https://openalex.org/I160606119"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1531,"currency":"EUR","value_usd":1651},"fwci":0.4887,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73585878,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"6","issue":null,"first_page":"64728","last_page":"64741"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9994000196456909,"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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9739000201225281,"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/graph-rewriting","display_name":"Graph rewriting","score":0.8461329936981201},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7706214189529419},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5219240188598633},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5141196846961975},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.49346745014190674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48013874888420105},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4575258195400238},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3240799605846405},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21376562118530273}],"concepts":[{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.8461329936981201},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7706214189529419},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5219240188598633},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5141196846961975},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.49346745014190674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48013874888420105},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4575258195400238},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3240799605846405},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21376562118530273},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2018.2878311","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2878311","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02080548v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02080548","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, 2018, 6, pp.64728-64741. ⟨10.1109/ACCESS.2018.2878311⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:a3019ab602a940fba50676991b167a69","is_oa":true,"landing_page_url":"https://doaj.org/article/a3019ab602a940fba50676991b167a69","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 64728-64741 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2878311","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2878311","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Good health and well-being","id":"https://metadata.un.org/sdg/3","score":0.800000011920929}],"awards":[{"id":"https://openalex.org/G7853978121","display_name":null,"funder_award_id":"OPPID 1162018","funder_id":"https://openalex.org/F4320306137","funder_display_name":"Bill and Melinda Gates Foundation"}],"funders":[{"id":"https://openalex.org/F4320306137","display_name":"Bill and Melinda Gates Foundation","ror":"https://ror.org/0456r8d26"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W15300351","https://openalex.org/W1538507560","https://openalex.org/W1542530661","https://openalex.org/W1555563750","https://openalex.org/W1585380779","https://openalex.org/W1608079957","https://openalex.org/W1706136589","https://openalex.org/W1723067587","https://openalex.org/W1789818915","https://openalex.org/W2008214343","https://openalex.org/W2021059941","https://openalex.org/W2079370090","https://openalex.org/W2085339586","https://openalex.org/W2100039408","https://openalex.org/W2111038497","https://openalex.org/W2112941164","https://openalex.org/W2137005667","https://openalex.org/W2145270986","https://openalex.org/W2160307042","https://openalex.org/W2166108892","https://openalex.org/W2174026381","https://openalex.org/W2498671470","https://openalex.org/W2500251494","https://openalex.org/W2523485023","https://openalex.org/W2614095925","https://openalex.org/W2762672046","https://openalex.org/W2798581322","https://openalex.org/W2805988959","https://openalex.org/W2951648472","https://openalex.org/W2987907651","https://openalex.org/W3125840695","https://openalex.org/W3146075203","https://openalex.org/W3146347964","https://openalex.org/W6637703538","https://openalex.org/W6724465504","https://openalex.org/W6737309339","https://openalex.org/W6750541306"],"related_works":["https://openalex.org/W2406066661","https://openalex.org/W2151333671","https://openalex.org/W2364400229","https://openalex.org/W2986452333","https://openalex.org/W2157133118","https://openalex.org/W2621356373","https://openalex.org/W2159183434","https://openalex.org/W2083001816","https://openalex.org/W2165621915","https://openalex.org/W2381039361"],"abstract_inverted_index":{"Malaria":[0],"is":[1,50,137,150,160],"one":[2],"of":[3,7,24,76,97,116,126,140,163,210],"the":[4,65,74,87,95,98,117,124,127,138,144,147,157,195,199,206,211],"leading":[5],"causes":[6],"death":[8],"and":[9,22,27,43,47,55,85,129,156,197,208],"illness":[10],"in":[11,64,89,218],"sub-Saharan":[12],"Africa.":[13],"In":[14,104,132,201],"order":[15],"to":[16,31,52,83,112,122,143,152,166,172,184,193],"make":[17],"timely":[18],"decisions":[19],"for":[20],"control":[21],"elimination":[23],"malaria,":[25],"researchers,":[26],"clinicians":[28],"need":[29],"access":[30],"integrated":[32,66,99],"consistent":[33],"knowledge":[34,37,67],"sources.":[35],"These":[36],"sources":[38],"often":[39],"rely":[40],"on":[41],"dynamic":[42],"constantly":[44],"changing":[45],"databases":[46],"ontologies.":[48],"It":[49],"crucial":[51],"manage":[53,86,198],"changes":[54,59,88],"ensure":[56],"that":[57,189],"these":[58],"do":[60],"not":[61],"cause":[62],"inconsistencies":[63],"source.":[68],"To":[69],"this":[70,105,133,202],"end,":[71],"we":[72,107,204],"propose":[73],"use":[75,108,216],"a":[77,90,154,161,186],"formal":[78],"model":[79],"using":[80],"graph":[81,113],"transformations":[82,196],"monitor":[84],"coherent":[91],"way":[92],"while":[93],"preserving":[94],"consistency":[96],"structure":[100],"through":[101,214],"classical":[102,119],"verification.":[103],"paper,":[106,203],"an":[109],"algorithmic":[110],"approach":[111,181],"transformation,":[114],"instead":[115],"more":[118],"algebraic":[120],"approach,":[121],"express":[123],"evolution":[125],"data":[128],"ontological":[130],"structures.":[131],"model,":[134],"each":[135],"transformation":[136,175],"result":[139],"applying":[141],"rules":[142,176],"graph,":[145],"where":[146],"left-hand":[148],"side":[149,159],"used":[151,171,192],"select":[153],"subgraph":[155],"right-hand":[158],"sequence":[162],"elementary":[164],"actions":[165],"be":[167,178,191],"performed.":[168],"Strategies":[169],"are":[170],"define":[173,185],"how":[174],"should":[177],"applied.":[179],"This":[180],"enables":[182],"us":[183],"Hoare-like":[187],"calculus":[188],"can":[190],"verify":[194],"changes.":[200],"demonstrate":[205],"feasibility":[207],"significance":[209],"proposed":[212],"method":[213],"different":[215],"cases":[217],"malaria":[219],"surveillance.":[220]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}