| 1 |
SEALS: A framework for building Self-Adaptive Virtual Machines
|
|
|
|
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A principled approach to REPL interpreters
|
|
|
|
In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
|
|
Combemale, Benoit; Kienzle, Jörg; Mussbacher, Gunter; Barais, Olivier; Bousse, Erwan; Cazzola, Walter; Collet, Philippe; Degueule, Thomas; Heinrich, Robert; Jézéquel, Jean-Marc; Leduc, Manuel; Mayerhofer, Tanja; Mosser, Sébastien; Schöttle, Matthias; Strittmatter, Misha; Wortmann, Andreas
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.archives-ouvertes.fr/hal-01803008 ; Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩ (2018)
|
|
Abstract:
International audience ; Domain-Specific Languages (DSLs) bridge the gap between the problem space, in which stakeholders work, and the solution space, i.e., the concrete artifacts defining the target system. They are usually small and intuitive languages whose concepts and expressive-ness fit a particular domain. DSLs recently found their application in an increasingly broad range of domains, e.g., cyber-physical systems, computational sciences and high performance computing. Despite recent advances, the development of DSLs is error-prone and requires substantial engineering efforts. Techniques to reuse from one DSL to another and to support customization to meet new requirements are thus particularly welcomed. Over the last decade, the Software Language Engineering (SLE) community has proposed various reuse techniques. However, all these techniques remain disparate and complicate the development of real-world DSLs involving different reuse scenarios. In this paper, we introduce the Concern-Oriented Language Development (COLD) approach, a new language development model that promotes modularity and reusability of language concerns. A language concern is a reusable piece of language that consists of usual language artifacts (e.g., abstract syntax, concrete syntax, semantics) and exhibits three specific interfaces that support (1) variability management, (2) customization to a specific context, and (3) proper usage of the reused artifact. The approach is supported by a conceptual model which introduces the required concepts to implement COLD. We also present concrete examples of some language concerns and the current state of their realization with metamodel-based and grammar-based language workbenches. We expect this work to provide insights into how to foster reuse in language specification and implementation, and how to support it in language workbenches.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; domain-specific languages; language concern; language reuse
|
|
URL: https://doi.org/10.1016/j.cl.2018.05.004
https://hal.archives-ouvertes.fr/hal-01803008
https://hal.archives-ouvertes.fr/hal-01803008/file/concern-oriented-language.pdf
https://hal.archives-ouvertes.fr/hal-01803008/document
|
|
BASE
|
|
Hide details
|
|
|
| 4 |
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
|
|
|
|
In: SLE 2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering ; https://hal.archives-ouvertes.fr/hal-01889155 ; SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Modular Language Composition for the Masses
|
|
|
|
In: SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01890446 ; SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩ ; http://www.sleconf.org/2018/ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Revisiting Visitors for Modular Extension of Executable DSMLs
|
|
|
|
In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems ; https://hal.inria.fr/hal-01568169 ; 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
On Language Interfaces
|
|
|
|
In: PAUSE: Present And Ulterior Software Engineering ; https://hal.inria.fr/hal-01424909 ; Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Safe Model Polymorphism for Flexible Modeling
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01367305 ; Computer Languages, Systems and Structures, Elsevier, 2016, Computer Languages, Systems Structures, 49, pp.30. ⟨10.1016/j.cl.2016.09.001⟩ ; http://www.sciencedirect.com/science/journal/14778424 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
|
|
|
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
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
|
|
|
| 11 |
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
|
|
|
| 12 |
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
|
|
|
| 13 |
Operational Semantics of the Model of Concurrency and Communication Language
|
|
|
|
In: https://hal.inria.fr/hal-01060601 ; [Research Report] RR-8584, INRIA. 2014, pp.23 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
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)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
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
|
|
|
| 16 |
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
|
|
|
| 17 |
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
|
|
|
| 18 |
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
|
|
|
| 19 |
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
|
|
|
|
In: https://hal.inria.fr/inria-00526561 ; [Research Report] RR-7423, INRIA. 2010 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
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
|
|
|
|
|
