14 lines
1.6 KiB
Markdown
14 lines
1.6 KiB
Markdown
tags:: [[#zotero]]
|
|
date:: 2024
|
|
title:: @Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning
|
|
item-type:: [[journalArticle]]
|
|
original-title:: Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning
|
|
language:: en
|
|
authors:: [[Anonymous Author]]
|
|
library-catalog:: Zotero
|
|
links:: [Local library](zotero://select/library/items/5DGDNYBE), [Web library](https://www.zotero.org/users/1039502/items/5DGDNYBE)
|
|
|
|
- [[Abstract]]
|
|
- Until recently, the state-of-the-art of Software Product Line (SPL) configuration and verification automation consisted of a collection of ad-hoc approaches tightly coupling a single input Variability Modeling Language (VML) with a single constraint solver. To remedy this situation, a novel generic Model-Driven Architecture (MDA) was then proposed that enables using a variety of VMLs and solvers. The key ideas of this proposal were (a) the use of a standard logical language (CLIF) as a pivot between VMLs and solvers, and (b) the use of a standard data exchange format (JSON) to explicilty and declaratively specify the abstract syntax and semantics of the VMLs to be used in an SPL engineering project and the automated reasoning task to be performed by the solvers.
|
|
- ### Attachments
|
|
- [Author - 2024 - Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model.pdf](zotero://select/library/items/JMZHRYHA) {{zotero-imported-file JMZHRYHA, "Author - 2024 - Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model.pdf"}} |