Preprint Open Access

Category Theory Framework for Variability Models with Non-Functional Requirements

Daniel-Jesus Munoz; Dilian Gurov; Monica Pinto; Lidia Fuentes


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p><strong>This is a pre-print, please access and cite the published version:</strong></p>\n\n<p><strong><a href=\"https://doi.org/10.1007/978-3-030-79382-1_24\">https://doi.org/10.1007/978-3-030-79382-1_24</a></strong></p>\n\n<p><em>Software Product Lines</em> (SPLs) make use of <em>Variability Models</em> (VMs) as an input to automated reasoners, which are mainly used to generate optimal product configurations according to certain <em>Quality Attributes</em> (QAs). However, VMs and more specifically those including numerical features (i.e., NVMs), do not natively support QAs, and consequently, neither do automated reasoners commonly used in variability resolution. However, those satisfiability and optimisation problems have been covered and refined in other relational models such as databases.</p>\n\n<p><em>Category Theory</em> (CT) is an abstract mathematical theory typically used to capture the common aspects of seemingly dissimilar algebraic structures. We propose a unified relational modelling framework subsuming the structured objects of VMs and QAs and their relationships into algebraic categories. This abstraction allows a combination of automated reasoners over different domains to analyse SPLs. The solutions optimisation can now be natively performed by a combination of automated theorem proving, hashing, balanced-trees and chasing algorithms. We validate this approach by means of the edge computing SPL tool HADAS.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "Universidad de M\u00e1laga | ITIS Software", 
      "@id": "https://orcid.org/0000-0002-1398-9423", 
      "@type": "Person", 
      "name": "Daniel-Jesus Munoz"
    }, 
    {
      "affiliation": "KTH Royal Institute of Technology", 
      "@id": "https://orcid.org/0000-0002-0074-8786", 
      "@type": "Person", 
      "name": "Dilian Gurov"
    }, 
    {
      "affiliation": "Universidad de M\u00e1laga | ITIS Software", 
      "@id": "https://orcid.org/0000-0002-5376-742X", 
      "@type": "Person", 
      "name": "Monica Pinto"
    }, 
    {
      "affiliation": "Universidad de M\u00e1laga | ITIS Software", 
      "@id": "https://orcid.org/0000-0002-5677-7156", 
      "@type": "Person", 
      "name": "Lidia Fuentes"
    }
  ], 
  "headline": "Category Theory Framework for Variability Models with Non-Functional Requirements", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "2021-03-11", 
  "url": "https://zenodo.org/record/4599585", 
  "@type": "ScholarlyArticle", 
  "keywords": [
    "numerical variability model", 
    "feature", 
    "non-functional requirement", 
    "quality attribute", 
    "category theory"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4599585", 
  "@id": "https://doi.org/10.5281/zenodo.4599585", 
  "workFeatured": {
    "url": "https://caise21.org", 
    "alternateName": "CAiSE '21", 
    "location": "Melbourne, Australia", 
    "@type": "Event", 
    "name": "33rd International Conference on Advanced Information Systems Engineering"
  }, 
  "name": "Category Theory Framework for Variability Models with Non-Functional Requirements"
}
178
142
views
downloads
All versions This version
Views 178178
Downloads 142142
Data volume 168.6 MB168.6 MB
Unique views 153153
Unique downloads 137137

Share

Cite as