kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.ORCID iD: 0000-0002-0074-8786
2022 (English)In: 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings, Association for Computing Machinery (ACM) , 2022, p. 132-139Conference paper, Published paper (Refereed)
Abstract [en]

Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis tools are rare, mainly because in existing solutions variability and quality information are not unified under the same model. In this paper, we make use of the Quality Variability Model (QVM), based on Category Theory (CT), to redefine reasoning operations. We start defining and composing the six most common operations in SPL, but now as quality-based queries, which tend to be unavailable in other approaches. Consequently, QVM supports interactions between variant-wise and feature-wise quality attributes. As a proof of concept, we present, implement and execute the operations as lambda reasoning for CQL IDE - the state-of-the-art CT tool. 

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM) , 2022. p. 132-139
Keywords [en]
automated reasoning, category theory, extended feature model, numerical features, quality attribute, Extended feature models, Feature models, Quality attributes, Quality information, Quality variability, Software Product Line, Variability modeling, Quality control
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-328122DOI: 10.1145/3503229.3547057Scopus ID: 2-s2.0-85139107194OAI: oai:DiVA.org:kth-328122DiVA, id: diva2:1762018
Conference
26th ACM International Systems and Software Product Line Conference, ASPLC 2022, 12-16 September 2022
Note

QC 20230602

Available from: 2023-06-02 Created: 2023-06-02 Last updated: 2023-06-02Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Gurov, Dilian

Search in DiVA

By author/editor
Gurov, Dilian
By organisation
Theoretical Computer Science, TCS
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 29 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf