Skip to Main content Skip to Navigation
Conference papers

Coding, Executing and Verifying Graph Transformations with small-tALCQe

Abstract : 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.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, June 24, 2020 - 10:57:37 AM
Last modification on : Wednesday, June 9, 2021 - 10:00:35 AM


Files produced by the author(s)


  • HAL Id : hal-02879713, version 1
  • OATAO : 26151


Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker, et al.. Coding, Executing and Verifying Graph Transformations with small-tALCQe. International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), Jul 2016, Vienna, Austria. pp.1-15. ⟨hal-02879713⟩



Record views


Files downloads