Loading...
Please wait, while we are loading the content...
Similar Documents
A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models
| Content Provider | Hyper Articles en Ligne (HAL) |
|---|---|
| Author | Correa, Camilo Mazo, Raul Lopez, Andres, O. Robin, Jacques |
| Copyright Year | 2023 |
| Abstract | We propose a method to address the current lack of standards for both software product line variability modeling languages and their formal semantics. It allows specifying, in an agile, declarative, and solver-agnostic fashion the formal semantics of a domain-specific variability modeling language through a simple JSON based specification format. Our approach leverages the Common Logic Interchange Format (CLIF) standard for interoperability among logical inference engines. We demonstrate our approach with two concrete examples of Variability Models, and present the tooling and architecture that makes this possible. |
| Related Links | https://hal.science/hal-04077798/file/SOFTENG_2023_FINAL.pdf |
| Conference Proceedings | SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering |
| Language | English |
| Publisher | HAL CCSD |
| Access Restriction | Open |
| Subject Keyword | Software Product Lines Formal Semantics Variability Modeling Common Logic |
| Content Type | Text |
| Resource Type | Conference Proceedings |
| Subject | Computer Science |