Resource Trees and XML Data Transformations - abstract - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Resource Trees and XML Data Transformations - abstract

Didier Galmiche
Nicolas Biri
  • Fonction : Auteur
  • PersonId : 755809
  • IdRef : 095122842

Résumé

We have proposed in previous works a model built upon a tree structure called resource tree and a logic named BI-Loc which is an extension of BI. Recently, we have enriched this model with a manipulation language and a Hoare's triple semantics. In this work, we show how we can instantiate this model to represent XML data and express their specification as BI-Loc formulae. Furthermore, we propose a specialization of our language of manipulation in order to transform the XML documents and then give an axiomatization of this language. This work can be seen as a first step to use resource trees and BI-Loc for checking transformations of XML documents.
Fichier non déposé

Dates et versions

hal-00013786 , version 1 (12-11-2005)

Identifiants

  • HAL Id : hal-00013786 , version 1

Citer

Didier Galmiche, Nicolas Biri. Resource Trees and XML Data Transformations - abstract. 3rd Applied Semantics Workshop, APPSEM 05, 2005, Frauenchiemsee, Germany. ⟨hal-00013786⟩
92 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More