OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification

Boisvert, Bertrand and Féraud, Louis and Soloviev, Sergei Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. (2013) In: 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), 19 February 2013 - 21 February 2013 (Barcelone, Spain).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
329kB

Abstract

This paper deals with model transformations based on attributed graphs transformation. Our approach is based on the categorical approach called Single Pushout. The principal goal being to strengthen the attribute computation part, we generalize our earlier approach based on the use of typed lambda-terms with inductive types and recursion to represent attributes and computation functions. The generalized approach takes terms in variable context as attributes and partial proofs as computation functions that permit to combine computation with proof development and verification. The intended domains of application are the development of cerified software models and semantics models for interactive proof development and verification.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:26 Oct 2015 09:36

Repository Staff Only: item control page