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.
Type de document :
Communication dans un congrès
Lawrence Cabac, Lars Michael Kristensen, and Heiko Rölke. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. CEUR-WS.org, 1591, pp.287-306, 2016, CEUR Workshops Proceedings. 〈http://pn2016.mat.umk.pl/〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.sorbonne-universite.fr/hal-01353944
Contributeur : Lom Messan Hillah <>
Soumis le : mardi 16 août 2016 - 15:26:11
Dernière modification le : jeudi 22 novembre 2018 - 14:25:21
Document(s) archivé(s) le : jeudi 17 novembre 2016 - 10:29:15

Fichier

pnse16-7-linard.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • 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. Lawrence Cabac, Lars Michael Kristensen, and Heiko Rölke. Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. CEUR-WS.org, 1591, pp.287-306, 2016, CEUR Workshops Proceedings. 〈http://pn2016.mat.umk.pl/〉. 〈hal-01353944〉

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

221