Layered Data: A Modular Formal Definition without Formalisms - Sorbonne Université
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
pnse16-7-linard.pdf (744.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01353944 , version 1 (16-08-2016)

Licence

Identifiers

  • HAL Id : hal-01353944 , version 1

Cite

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⟩
251 View
227 Download

Share

More