loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Bertrand Boisvert ; Louis Féraud and Sergei Soloviev

Affiliation: IRIT and Université Paul Sabatier, France

Keyword(s): Model Transformation, Graph Transformation, Attribute Computation, Single Pushout.

Related Ontology Subjects/Areas/Topics: General-Purpose Modeling Languages and Standards ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Syntax and Semantics of Modeling Languages

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.191.228.88

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Boisvert, B.; Féraud, L. and Soloviev, S. (2013). Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-8565-42-6; ISSN 2184-4348, SciTePress, pages 62-74. DOI: 10.5220/0004321200620074

@conference{modelsward13,
author={Bertrand Boisvert. and Louis Féraud. and Sergei Soloviev.},
title={Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2013},
pages={62-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004321200620074},
isbn={978-989-8565-42-6},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification
SN - 978-989-8565-42-6
IS - 2184-4348
AU - Boisvert, B.
AU - Féraud, L.
AU - Soloviev, S.
PY - 2013
SP - 62
EP - 74
DO - 10.5220/0004321200620074
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic