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.
Liste complète des métadonnées

Cited literature [11 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01353944
Contributor : Lom Messan Hillah <>
Submitted on : Tuesday, August 16, 2016 - 3:26:11 PM
Last modification on : Thursday, March 21, 2019 - 2:29:56 PM
Document(s) archivé(s) le : Thursday, November 17, 2016 - 10:29:15 AM

File

pnse16-7-linard.pdf
Files produced by the author(s)

Licence


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

Identifiers

  • HAL Id : hal-01353944, version 1

Citation

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⟩

Share

Metrics

Record views

271

Files downloads

255