HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 : Monday, March 14, 2022 - 4:52:07 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