Language Engineering with the GEMOC Studio

Combemale, Benôıt; Barais, Olivier; Wortmann, Andreas

doi:10.1109/icsaw.2017.61

Cited by 17 publications

(6 citation statements)

References 7 publications

(7 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Mendez-Acuña et al presented several contributions to the topic of reuse in language workbenches: in Jézéquel et al (2014) the authors address the problems of programming languages evolution and maintenance, as well as their verification and validation; in they introduce PUZZLE as a tool for the detection of duplicates in syntactic and semantic definitions in Melange. Melange is also supported by GEMOC Studio (Combemale et al 2017), used by language designers to build and compose DSLs and by domain designers to coordinate their models. In most of these works LPLs are not directly addressed but emerge from the development of language features, language variants and the tools they provide for system designers.…”

Section: Related Workmentioning

confidence: 99%

Towards a recipe for language decomposition: quality assessment of language product lines

Cazzola

Favalli

2022

Empir Software Eng

View full text Add to dashboard Cite

Programming languages are complex systems that are usually implemented as monolithic interpreters and compilers. In recent years, researchers and practitioners gained interest in product line engineering to improve the reusability of language assets and the management of variability-rich systems, introducing the notions of language workbenches and language product lines (LPLs). Nonetheless, language development remains a complex activity and design or implementation flaws can easily waste the efforts of decomposing a language specification into language features. Poorly designed language decompositions result in high inter-dependent components, reducing the variability space of the LPL system and its maintainability. One should detect and fix the design flaws posthaste to prevent these risks while minimizing the development overhead. Therefore, various aspects of the quality of a language decomposition should be quantitatively measurable through adequate metrics. The evaluation, analysis and feedback of these measures should be a primary part of the engineering process of a LPL. In this paper, we present an exploratory study trying to capture these aspects by introducing a design methodology for LPLs; we define the properties of a good language decomposition and adapt a set of metrics from the literature to the framework of language workbenches. Moreover, we leverage the LPL engineering environment to perform an empirical evaluation of 26 -based LPLs based on this design methodology. Our contributions form the foundations of a design methodology for -based LPLs. This methodology is comprised of four different elements: i) an engineering process that defines the order in which decisions are made, ii) an integrated development environment for LPL designers and iii) some best practices in the design of well-structured language decomposition when using , supported by iv) a variety of LPL metrics that can be used to detect errors in design decisions.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards a recipe for language decomposition: quality assessment of language product lines

Cazzola

Favalli

2022

Empir Software Eng

View full text Add to dashboard Cite

show abstract

“…2 LDTA and SLE were stepping stones to create a community of researchers and practitioners working on software language engineering together. In these workshops and conferences, software language engineering researchers and tool builders gathered to present their latest research results and showcased their tools developed for improving and easing the adoption of software language engineering, such as Spoofax [9], JastAdd [10], MontiCore [11], Silver [12], MPS [13], GEMOC [14], Rascal [15], and ANTLRWorks/Xtext 3 [16].…”

Section: Ldta Sle and Language Workbenchesmentioning

confidence: 99%

“…Eelco Visser followed a different approach in Spoofax, by defining small DSLs to describe different semantic aspects such as name resolution, scoping rules, type checking, and the dynamic semantic rules [24,25]. The current generation of language workbenches still have a strong focus on syntax, but the mechanisms to define the (static and dynamic) semantics of DSLs are still experimental, although GEMOC [14] offers facilities for executing and debugging DSLs, which in other LWBs are either lacking or primitive. The Canon Production Printing example illustrated another shortcoming in relation to the design and implementation of DSLs.…”

Section: My Final Reflectionsmentioning

confidence: 99%

A personal retrospective on language workbenches

Brand

2023

Softw Syst Model

View full text Add to dashboard Cite

Model-driven software engineering and specifically domain-specific languages have contributed to improve the quality of software and the efficiency in the development of software. However, the design and implementation of domain-specific languages requires still an enormous investment. Language workbenches are the most important tools in the field of software language engineering. The introduction of language workbenches has alleviated partly the development effort, but there are still a few major challenges that need to be tackled. This paper presents a personal perspective on the development of tools for language engineering and language workbenches in particular and future challenges to be tackled.

show abstract

“…The use case of this paper is intended to illustrate this. To implement our DSL, we chose GEMOC Studio [15] to combine several heterogeneous technologies. It covers all aspects of a DSL, from abstract and concrete syntax to semantic operations, as shown in Fig.…”

Section: Technologies Used By the Approachmentioning

confidence: 99%

EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles

Faysal

Zalmai

Barisic

et al. 2021

Advances in Model and Data Engineering in the Digitalization Era

View full text Add to dashboard Cite

In this paper, a novel model related to the safety of autonomous vehicles (AVs) is presented. A simulation platform is designed to analyze the environment and the trajectory of AVs within a given Operational Design Domain (ODD). This platform relies on model-based systems and includes the environment model, safety rules and their priorities, and execution scenarios. The goal is to create a simulation environment that enables safety experts to detect rule breaches by analyzing problems at run-time using generated monitors. Therefore, this platform will help to reevaluate the existing rules in two ways: either by reconsidering rule priorities or by proposing new rules to be integrated into the existing safety model. The validation and verification of the generated rules will follow a process based on the history of the executed scenarios. All the aforementioned work is carried out by using the GEMOC initiative tool to coordinate models using logical time.

show abstract

Language Engineering with the GEMOC Studio

Cited by 17 publications

References 7 publications

Towards a recipe for language decomposition: quality assessment of language product lines

Towards a recipe for language decomposition: quality assessment of language product lines

A personal retrospective on language workbenches

EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles

Contact Info

Product

Resources

About