We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Applying Declarative Analysis to Software Product Line Models: An Industrial Study

Abstract: Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at a time, but not to an entire SPL. Some tools have been redesigned/re-implemented to support the kind of variability exhibited in SPLs, but this usually takes a lot of effort, and is error-prone. Declarative analyses written in languages like Datalog have been collectively lifted to SPLs in prior work, which makes the process of applying an existing declarative analysis to a product line more straightforward.
In this paper, we take an existing declarative analysis (behaviour alteration) written in the Grok declarative language, port it to Datalog, and apply it to a set of automotive software product lines from General Motors. We discuss the design of the analysis pipeline used in this process, present its scalability results, and provide a means to visualize the analysis results for a subset of products filtered by feature expression. We also reflect on some of the lessons learned throughout this project.
Comments: MODELS'21 pre-print
Subjects: Software Engineering (cs.SE)
Cite as: arXiv:2107.07690 [cs.SE]
  (or arXiv:2107.07690v2 [cs.SE] for this version)

Submission history

From: Ramy Shahin [view email]
[v1] Fri, 16 Jul 2021 03:44:26 GMT (1199kb,D)
[v2] Sat, 31 Jul 2021 03:37:19 GMT (1200kb,D)

Link back to: arXiv, form interface, contact.