Development of Transformation Functions Assisted by a Theorem ProverReport as inadecuate




Development of Transformation Functions Assisted by a Theorem Prover - Download this document for free, or read online. Document in PDF available to download.

1 CASSIS - Combination of approaches to the security of infinite states systems FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications 2 ECOO - Environment for cooperation INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : Transformational approach requires to write transformation functions that ensure properties C1 and C2. Proving these conditions on complex typed objects is a serious bottleneck for the application of this approach. We propose to use a theorem prover to assist the development of safe transformation functions. In this paper, we present how we have designed in that way a set of safe transformation functions for an XML typed object.

Mots-clés : prouveur de theoreme theorem prover transformational approach transformation functions transformees operationnelles fonctions de transformation xml





Author: Imine Abdessamad - Pascal Molli - Gérald Oster - Michaël Rusinowitch -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents