Layered Data: A Modular Formal Definition without Formalisms - Sorbonne Université
Communication Dans Un Congrès Année : 2016

Layered Data: A Modular Formal Definition without Formalisms

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-01353944 , version 1

Citer

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⟩
263 Consultations
230 Téléchargements

Partager

More