Development of Transformation Functions Assisted by a Theorem ProverReportar como inadecuado




Development of Transformation Functions Assisted by a Theorem Prover - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados