Category Theory Framework for Variability Models with Non-functional Requirements @ CAiSE 21
- 1. Universidad de Málaga | ITIS Software
- 2. KTH Royal Institute of Technology
Description
Your can watch this video in my Youtube channel:
This is a Live Conference Presentation, please access and cite the published version of the respective publication:
https://doi.org/10.1007/978-3-030-79382-1_24
In Software Product Line (SPL) engineering one uses Variability Models (VMs) as input to automated reasoners to generate optimal products according to certain Quality Attributes (QAs). Variability models, however, and more specifically those including numerical features (i.e., NVMs), do not natively support QAs, and consequently, neither do automated reasoners commonly used for variability resolution. However, those satisfiability and optimisation problems have been covered and refined in other relational models such as databases. Category Theory (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.
Notes
Files
Daniel-Jesus Munoz CAiSE 21 Session 8 Theory Development and Use Category Theory Framework for Variability Models with Non-functional Requirements.mp4
Files
(127.9 MB)
Name | Size | Download all |
---|---|---|
md5:45450f302e2027f8998f9b04dcd1baab
|
127.9 MB | Preview Download |
Additional details
Identifiers
Related works
- Is supplement to
- Conference paper: 10.1007/978-3-030-79382-1_24 (DOI)
- Presentation: 10.5281/zenodo.5062145 (DOI)