Applied graph transformation and verification with use cases in malaria surveillance

Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad

Research output: Contribution to journalArticle

Abstract

Malaria is one of the leading causes of death and illness in sub-Saharan Africa. In order to make timely decisions for control and elimination of malaria, researchers, and clinicians need access to integrated consistent knowledge sources. These knowledge sources often rely on dynamic and constantly changing databases and ontologies. It is crucial to manage changes and ensure that these changes do not cause inconsistencies in the integrated knowledge source. To this end, we propose the use of a formal model using graph transformations to monitor and manage the changes in a coherent way while preserving the consistency of the integrated structure through classical verification. In this paper, we use an algorithmic approach to graph transformation, instead of the more classical algebraic approach, to express the evolution of the data and ontological structures. In this model, each transformation is the result of applying rules to the graph, where the left-hand side is used to select a subgraph and the right-hand side is a sequence of elementary actions to be performed. Strategies are used to define how transformation rules should be applied. This approach enables us to define a Hoare-like calculus that can be used to verify the transformations and manage the changes. In this paper, we demonstrate the feasibility and significance of the proposed method through different use cases in malaria surveillance.

Original languageEnglish (US)
Article number8513828
Pages (from-to)64728-64741
Number of pages14
JournalIEEE Access
Volume6
DOIs
StatePublished - Jan 1 2018

Fingerprint

Ontology

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Materials Science(all)
  • Engineering(all)

Cite this

Applied graph transformation and verification with use cases in malaria surveillance. / Brenas, Jon Haël; Strecker, Martin; Echahed, Rachid; Shaban-Nejad, Arash.

In: IEEE Access, Vol. 6, 8513828, 01.01.2018, p. 64728-64741.

Research output: Contribution to journalArticle

Brenas, Jon Haël ; Strecker, Martin ; Echahed, Rachid ; Shaban-Nejad, Arash. / Applied graph transformation and verification with use cases in malaria surveillance. In: IEEE Access. 2018 ; Vol. 6. pp. 64728-64741.
@article{71d10b9f174948549c25ae9312b3ffc6,
title = "Applied graph transformation and verification with use cases in malaria surveillance",
abstract = "Malaria is one of the leading causes of death and illness in sub-Saharan Africa. In order to make timely decisions for control and elimination of malaria, researchers, and clinicians need access to integrated consistent knowledge sources. These knowledge sources often rely on dynamic and constantly changing databases and ontologies. It is crucial to manage changes and ensure that these changes do not cause inconsistencies in the integrated knowledge source. To this end, we propose the use of a formal model using graph transformations to monitor and manage the changes in a coherent way while preserving the consistency of the integrated structure through classical verification. In this paper, we use an algorithmic approach to graph transformation, instead of the more classical algebraic approach, to express the evolution of the data and ontological structures. In this model, each transformation is the result of applying rules to the graph, where the left-hand side is used to select a subgraph and the right-hand side is a sequence of elementary actions to be performed. Strategies are used to define how transformation rules should be applied. This approach enables us to define a Hoare-like calculus that can be used to verify the transformations and manage the changes. In this paper, we demonstrate the feasibility and significance of the proposed method through different use cases in malaria surveillance.",
author = "Brenas, {Jon Ha{\"e}l} and Martin Strecker and Rachid Echahed and Arash Shaban-Nejad",
year = "2018",
month = "1",
day = "1",
doi = "10.1109/ACCESS.2018.2878311",
language = "English (US)",
volume = "6",
pages = "64728--64741",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Applied graph transformation and verification with use cases in malaria surveillance

AU - Brenas, Jon Haël

AU - Strecker, Martin

AU - Echahed, Rachid

AU - Shaban-Nejad, Arash

PY - 2018/1/1

Y1 - 2018/1/1

N2 - Malaria is one of the leading causes of death and illness in sub-Saharan Africa. In order to make timely decisions for control and elimination of malaria, researchers, and clinicians need access to integrated consistent knowledge sources. These knowledge sources often rely on dynamic and constantly changing databases and ontologies. It is crucial to manage changes and ensure that these changes do not cause inconsistencies in the integrated knowledge source. To this end, we propose the use of a formal model using graph transformations to monitor and manage the changes in a coherent way while preserving the consistency of the integrated structure through classical verification. In this paper, we use an algorithmic approach to graph transformation, instead of the more classical algebraic approach, to express the evolution of the data and ontological structures. In this model, each transformation is the result of applying rules to the graph, where the left-hand side is used to select a subgraph and the right-hand side is a sequence of elementary actions to be performed. Strategies are used to define how transformation rules should be applied. This approach enables us to define a Hoare-like calculus that can be used to verify the transformations and manage the changes. In this paper, we demonstrate the feasibility and significance of the proposed method through different use cases in malaria surveillance.

AB - Malaria is one of the leading causes of death and illness in sub-Saharan Africa. In order to make timely decisions for control and elimination of malaria, researchers, and clinicians need access to integrated consistent knowledge sources. These knowledge sources often rely on dynamic and constantly changing databases and ontologies. It is crucial to manage changes and ensure that these changes do not cause inconsistencies in the integrated knowledge source. To this end, we propose the use of a formal model using graph transformations to monitor and manage the changes in a coherent way while preserving the consistency of the integrated structure through classical verification. In this paper, we use an algorithmic approach to graph transformation, instead of the more classical algebraic approach, to express the evolution of the data and ontological structures. In this model, each transformation is the result of applying rules to the graph, where the left-hand side is used to select a subgraph and the right-hand side is a sequence of elementary actions to be performed. Strategies are used to define how transformation rules should be applied. This approach enables us to define a Hoare-like calculus that can be used to verify the transformations and manage the changes. In this paper, we demonstrate the feasibility and significance of the proposed method through different use cases in malaria surveillance.

UR - http://www.scopus.com/inward/record.url?scp=85055706996&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85055706996&partnerID=8YFLogxK

U2 - 10.1109/ACCESS.2018.2878311

DO - 10.1109/ACCESS.2018.2878311

M3 - Article

VL - 6

SP - 64728

EP - 64741

JO - IEEE Access

JF - IEEE Access

SN - 2169-3536

M1 - 8513828

ER -