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

https://hal.archives-ouvertes.fr/hal-02879713
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

File

balklanova_26151.pdf
Files produced by the author(s)

Identifiers

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

Citation

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⟩

Share

Metrics

Record views

26

Files downloads

65