|
Bibliographic exampleThis is a general purpose example which uses: merge, ruleset, serialisation, generation, xslt. Soon to come: servlet, recursion on a directory and parameters. The best example is the bibliographic example. It starts with the stylesheet process.xml on several bibliographic files JE.xml and bibexmo.xml. It can be run by: $ java -jar transmo.jar biblio/process.xml It generates (much more is generated so far):
Church integer encodingThis is an example for testing iteration. It processes various operations (PLUS and MULT) on the Alonzo Church encoding of integers (i.e., an integer is either <Z/> or <S>an integer </S>: Z is zero, S is successor). This encoding is described in church/input/church.dtd The file compute.xsl contains the rules for reducing addition and multiplication. The transformation process.xml takes two XML files representing integers as input, merges them within a multiplication and iterates the compute.xsl stylesheet until closure.
It can be run by: $ java -jar transmo.jar church/process.xml It starts with the sample.xml asking for the addition of number 2 and 3 and returns a file containing the Church encoding of number 6. Conference program generationNot available. This example is comparable to the bibliographic example. It takes advantage of external transformations of vCal objects Knowledge representation transformationsNot available. This example manipulates "ontologies" expressed in various knowledge representation formalisms, merge them and translate them in other formalisms and in LaTeX. PerformancesNot available. This test takes bibliographic files of various size and run a transformation with various modalities (especially changing parser and enabling multi-threadinf). | ||||||||||||
![]() ![]() |
PartnersTransmorpher is a joint development of the Exmo action of INRIA Rhône-Alpes and Fluxmedia. |