Behaviour Protection in Modular Rule-Based System Specifications

Abstract : Model-driven engineering (MDE) and, in particular, the notion of domain-specific modelling languages (DSMLs) is an increasingly popular approach to systems development. DSMLs are particularly interesting because they allow encoding domain-knowledge into a modelling language and enable full code generation and analysis based on high-level models. However, as a result of the domain-specificity of DSMLs, there is a need for many such languages. This means that their use only becomes economically viable if the development of new DSMLs can be made efficient. One way to achieve this is by reusing functionality across DSMLs. On this background, we are working on techniques for modularising DSMLs into reusable units. Specifically, we focus on DSMLs whose semantics are defined through in-place model transformations. In this paper, we present a formal framework of morphisms between graph-transformation systems (GTSs) that allow us to define a novel technique for conservative extensions of such DSMLs. In particular, we define different behaviour-aware GTS morphisms and prove that they can be used to define conservative extensions of a GTS.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.24-49, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_2〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01485976
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:37
Dernière modification le : jeudi 19 avril 2018 - 14:24:03
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:25:05

Fichier

978-3-642-37635-1_2_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Francisco Durán, Fernando Orejas, Steffen Zschaler. Behaviour Protection in Modular Rule-Based System Specifications. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.24-49, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_2〉. 〈hal-01485976〉

Partager

Métriques

Consultations de la notice

50

Téléchargements de fichiers

16