Coding, Executing and Verifying Graph Transformations with small-tALCQe - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Coding, Executing and Verifying Graph Transformations with small-tALCQe

Résumé

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.
Fichier principal
Vignette du fichier
balklanova_26151.pdf (328.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02879713 , version 1 (24-06-2020)

Identifiants

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

Citer

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⟩
68 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More