OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Two-level reasoning about graph transformation programs

Makhlouf, Amani and Percebois, Christian and Tran, Hanh Nhi Two-level reasoning about graph transformation programs. (2019) In: 12th International Conference on Graph Transformation (ICGT 2019), 15 July 2019 - 19 July 2019 (Eindhoven, Netherlands).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-030-23611-3_7


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 11629 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-030-23610-6 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-23611-3_7
HAL Id:hal-02451016
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:09 Jan 2020 11:36

Repository Staff Only: item control page