Skip to Main content Skip to Navigation
Conference papers

Two-level reasoning about graph transformation programs

Amani Makhlouf 1 Christian Percebois 1 Hanh Nhi Tran 1
1 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
Abstract : This paper presents a method for verifying graph transformation programs written in Small-tALC, an imperative language which allows expressing graph properties and graph transformations in ALCQI description logic. We aim at reasoning not only about the local effect when applying a transformation rule on a matched subgraph but also about the global impact on the whole input graph when applying a set of rules. Using ALCQI assertional and terminological formulae to formalize directed labeled graphs, Small-tALC allows specifying local properties on individual nodes and edges as well as global properties on sets of nodes and edges. Our previous work focuses on verifying local properties of the graph. In this paper, we propose a static analyzer at terminological level that intertwines with a static analyzer at assertional level to infer global properties of the transformed graph.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) Connect in order to contact the contributor
Submitted on : Thursday, January 23, 2020 - 10:45:40 AM
Last modification on : Wednesday, November 3, 2021 - 7:16:55 AM
Long-term archiving on: : Friday, April 24, 2020 - 1:40:20 PM


Files produced by the author(s)


  • HAL Id : hal-02451016, version 1
  • OATAO : 24924


Amani Makhlouf, Christian Percebois, Hanh Nhi Tran. Two-level reasoning about graph transformation programs. 12th International Conference on Graph Transformation (ICGT 2019), Jul 2019, Eindhoven, Netherlands. pp.111-127. ⟨hal-02451016⟩



Les métriques sont temporairement indisponibles