Skip to Main content Skip to Navigation
Conference papers

Layered Data: A Modular Formal Definition without Formalisms

Abstract : Defining formalisms and models in modular way is a painful task. Metamodeling tools and languages have usually not been created with this goal in mind. This article proposes a data structure, called layered data, that allows defining easily modular abstract syntax for formalisms and models. It also shows its use through an exhaustive example. As a side effect, this article discusses the notion of formalism, and as- serts that they do not exist as standalone objects, but rather as relations between models.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Lom Messan Hillah Connect in order to contact the contributor
Submitted on : Tuesday, August 16, 2016 - 3:26:11 PM
Last modification on : Tuesday, October 19, 2021 - 4:09:38 PM
Long-term archiving on: : Thursday, November 17, 2016 - 10:29:15 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License


  • HAL Id : hal-01353944, version 1


Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, et al.. Layered Data: A Modular Formal Definition without Formalisms. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306. ⟨hal-01353944⟩



Record views


Files downloads