To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 29/03/02 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                          Vendredi 29 mars, 10h30

                              ----------------
                              Tyng-Ruey Chuang
                              ----------------

                      Institute of Information Science
                      Academia Sinica (Taipei, Taiwan)

              ===============================================
              On Modular Transformation of Structural Content
              ===============================================


   We  model  a  DTD-induced  XML  document  transformation  by  a  natural
   transformation  from the  source  content model  to  the target  content
   model.  Benefits   of  DTD-induced  transformations   include  automatic
   validation of the  target documents, as well as  modular compositions of
   XML document transformations.

   In particular, for two XML  document transformations that are modeled as
   two fold functions derived by two respective natural transformations, we
   show their composition is again  a fold functions derived by yet another
   natural  transformation.  Similar  result  also holds  for XML  document
   transformations modeled as unfold functions.

   We  prototype these  modular XML  document transformations  in Objective
   Caml.  The prototype depends heavily  on the parametric module system of
   Objective Caml and is highly modular.

   This is a joint work with Jan-Li Lin.