OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Coding, Executing and Verifying Graph Transformations with small-tALCQe

Baklanova, Nadezhda and Brenas, Jon Haël and Makhlouf, Amani and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi Coding, Executing and Verifying Graph Transformations with small-tALCQe. (2016) In: International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), 4 July 2016 (Vienna, Austria).

(Document in English)

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


This paper gives an overview of small-tALCQe, an experi-mental programming environment for a graph transformation languagethat is based on the ALCQ description logic. small-tALCQe not onlyallows developers coding and executing graph transformations but alsoassists them in analyzing and verifying their codes. We describe the com-ponents that make up small-tALCQe: the transformation language itself,the compiler for generating executable transformations, the code ana-lyzers and the prover for reasoning about transformations. All of theminteract under the hood of an Eclipse user interface to provide differentlevels of assistance for achieving correct graph transformations.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-02879713
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (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)
Other partners > SYSTEREL (FRANCE)
Other partners > Université de Grenoble (FRANCE)
Laboratory name:
ANR : Agence nationale de la recherche (France)
Deposited On:17 Jun 2020 13:42

Repository Staff Only: item control page