Conditional transition systems with upgrades
- Submitting institution
-
The University of Sheffield
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 7406
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2019.102320
- Title of journal
- Science of Computer Programming
- Article number
- 102320
- First page
- -
- Volume
- 186
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Deposit exception
- Month of publication
- October
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
I - Verification
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This work was funded by a German Research Foundation (DFG) project BEMEGA (KO 2185/7-1). It introduces a variant of transition systems, where activation of transitions depends on conditions of the environment and upgrades during runtime potentially create additional transitions. This novel extension makes it possible to model adaptive software product lines (SPLs), where products may upgrade to new features during their evolution.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -