Home // SOFTENG 2023, The Ninth International Conference on Advances and Trends in Software Engineering // View article

A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models

Authors:
Camilo Correa Restrepo
Raul Mazo
Andres Lopez
Jacques Robin

Keywords: Variability Modeling; Formal Semantics; Modeling Language Specification; Common Logic.

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.

Pages: 32 to 40

Copyright: Copyright (c) IARIA, 2023

Publication date: April 24, 2023

Published in: conference

ISSN: 2519-8394

ISBN: 978-1-68558-042-1

Location: Venice, Italy

Dates: from April 24, 2023 to April 28, 2023