| 21 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 22 |
Leveraging software product lines engineering in the construction of domain specific languages ; Usage de l'ingénierie de lignes de produits pour la construction de langages dédiés
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01427187 ; Software Engineering [cs.SE]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S136⟩ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 23 |
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench
|
|
|
|
In: ISSN: 1619-1366 ; EISSN: 1619-1374 ; Software and Systems Modeling ; https://hal.inria.fr/hal-00829839 ; Software and Systems Modeling, Springer Verlag, 2015, 14 (2), pp.905-920. ⟨10.1007/s10270-013-0354-4⟩ ; http://link.springer.com/article/10.1007%2Fs10270-013-0354-4 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 24 |
Towards Functional Model Transformations with OCL
|
|
|
|
In: LNCS ; ICMT 2015 - 8th International Conference on Model Transformation ; https://hal.archives-ouvertes.fr/hal-01179294 ; ICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 25 |
Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study
|
|
|
|
In: ISSN: 1382-3256 ; EISSN: 1573-7616 ; Empirical Software Engineering ; https://hal.inria.fr/hal-01096969 ; Empirical Software Engineering, Springer Verlag, 2015, pp.51. ⟨10.1007/s10664-014-9357-1⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 26 |
Towards Language Interfaces for DSLs Integration
|
|
|
|
In: https://hal.inria.fr/hal-01138017 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 27 |
Reusing Legacy DSLs with Melange
|
|
|
|
In: 15th Workshop on Domain-Specific Modeling ; https://hal.inria.fr/hal-01197039 ; 15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States (2015)
|
|
BASE
|
|
Show details
|
|
|
| 28 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 29 |
Variability Management in Domain-Specific Languages
|
|
|
|
In: International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES) ; https://hal.inria.fr/hal-01077788 ; International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. 2014 ; http://www.mdd4dres.org (2014)
|
|
Abstract:
International audience ; Domain-specific languages (DSLs) allow domain experts to express solutions directly in terms of relevant domain concepts and, for example, use generative mechanisms to transform DSL' specifications into software artifacts (e.g. code, configuration files or documentation). Thus, abstracting away from the complexity of the rest of the system and the intricacies of its implementation. As a result, the construction of DSLs is becoming a recurrent activity during the development of software intensive systems. However, the construction of DSLs is a challenging task due to the specialized knowledge it requires; in order to successfully perform such activity, an engineer must own not only quite solid modeling skills but also the technical expertise for conducting the definition of specific artifacts such as grammars, metamodels, compilers, interpreters, among others. The situation becomes even more challenging in the context of multi-domain companies (e.g. Thales) where several domains coexist across the business units and, consequently, there is a need to deal with families of DSLs. A family of DSLs is a set of DSLs that share some commonalities and that differ by some variability that, in turn, is materialized in certain variation points existing at three different dimensions: functional, syntactical and semantical. Functional variation points refer to the capability of creating DSLs including only a subset of constructs of the whole language so it is possible to create stakeholder-specific DSLs while maintaining them as simpler as possible. Syntactic variation points refers to different representations of the same concept (e.g., graphical and textual representation). Finally, semantic variation points refer to different interpretation to the same concept by two members of the family (e.g., the concept \textit{fork} in the case of the state machines can be interpreted as a concurrency point where all the output transitions are dispatched simultaneously or simply as a bifurcation point where the output transitions are dispatched sequentially). Recent research works have demonstrated the benefits of the use of software product lines engineering (SPLE) in the construction of families DSLs. All of these works agree on the need of a modularization approach that enables the decomposition of a DSL into independent modules and a variability management mechanism for effectively dealing with the differences and commonalities among the DSLs members of the family.The research summarized in this document is aimed to contribute to this study. Concretely speaking, we work on the formalization of the alignment between the modularization approach and the variability management mechanism taking into account the three dimensions of the variability. Our preliminary results suggest the need of the definition of language interfaces for addressing each variability realization technique for the particular case of DSLs. In addition, an strategy should be conceived for modeling the multi-dimensional variability existing in families DSLs in such a way that facilitates the configuration and derivation of DSLs according to the specific needs of the users. As part of the validation process, we are applying all these ideas in a real word industrial case study in the context of Thales Group.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
|
|
URL: https://hal.inria.fr/hal-01077788/file/poster-A4.pdf
https://hal.inria.fr/hal-01077788/document
https://hal.inria.fr/hal-01077788
|
|
BASE
|
|
Hide details
|
|
|
| 30 |
Automating Variability Model Inference for Component-Based Language Implementations
|
|
|
|
In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014)
|
|
BASE
|
|
Show details
|
|
|
| 31 |
Variability Support in Domain-Specific Language Development
|
|
|
|
In: SLE - 6th International Conference on Software Language Engineering ; https://hal.inria.fr/hal-00914715 ; SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩ ; http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 32 |
Methodology for the derivation of product behavior in a Software Product Line ; Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00926141 ; Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français (2013)
|
|
BASE
|
|
Show details
|
|
|
| 33 |
Ingénierie Dirigée par les Modèles : des concepts à la pratique.
|
|
|
|
In: https://hal.inria.fr/hal-00648489 ; Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 34 |
Vers un rapprochement de l'IDM et de la compilation
|
|
|
|
In: Journées sur l'Ingénierie Dirigée par les Modèles ; https://hal.inria.fr/inria-00601670 ; Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France (2011)
|
|
BASE
|
|
Show details
|
|
|
| 35 |
Negation for Free!
|
|
|
|
In: https://hal.inria.fr/inria-00629657 ; [Research Report] RR-7749, INRIA. 2011, pp.16 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 36 |
Simulation et vérification de modèle par métamodélisation executable
|
|
|
|
In: https://hal.inria.fr/inria-00542740 ; éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 37 |
Model Driven Language Engineering with Kermeta
|
|
|
|
In: 3rd Summer School on Generative and Transformational Techniques in Software Engineering ; https://hal.inria.fr/inria-00538461 ; Joao M. Fernandes, Ralf Lammel, Joao Saraiva, Joost Visser. 3rd Summer School on Generative and Transformational Techniques in Software Engineering, LNCS 6491, Springer, 2010 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 38 |
Towards Domain-specific Model Editors with Automatic Model Completion
|
|
|
|
In: ISSN: 0037-5497 ; EISSN: 1741-3133 ; SIMULATION ; https://hal.inria.fr/inria-00468513 ; SIMULATION, SAGE Publications, 2009, 3 (12), pp.109-126. ⟨10.1177/0037549709340530⟩ (2009)
|
|
BASE
|
|
Show details
|
|
|
| 39 |
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
|
|
|
|
In: https://hal.inria.fr/inria-00477561 ; 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 40 |
Langage et méthode pour une ingénierie des modèles fiable
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00538288 ; Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français (2006)
|
|
BASE
|
|
Show details
|
|
|
|
|
